diff options
| author | Quentin Aristote <quentin@aristote.fr> | 2022-02-14 18:00:47 +0100 |
|---|---|---|
| committer | Quentin Aristote <quentin@aristote.fr> | 2022-02-14 18:00:47 +0100 |
| commit | 9bac961357e7793ca9b38448bf37b3a6c9e0a89e (patch) | |
| tree | 34343b23d5de08b328f3f2ff7e369d67334923a7 /shell-template.nix | |
| parent | 54beaa1e0a62b76af0e45891bdd81f0c5fd4a32e (diff) | |
correct passing of coq config
Diffstat (limited to 'shell-template.nix')
0 files changed, 0 insertions, 0 deletions