]> rtime.felk.cvut.cz Git - orte.git/history - shell.nix
Add shell.nix
[orte.git] / shell.nix
2023-07-31 Michal SojkaAdd shell.nix master