diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-07-03 13:43:02 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-07-03 23:57:56 +0200 |
| commit | 81c3b2003d3d9b1492949773ed69e0c0ddac8316 (patch) | |
| tree | 1018a1e3dcda39e6eb47a757ed0fdfe3fdb90b36 /shell.nix | |
| parent | 5239af30618d3c23666cc75078bf269172b6d3df (diff) | |
Refactor default.nix to use optionals.
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions