diff options
| author | Quentin Aristote <quentin@aristote.fr> | 2021-12-06 12:15:51 +0100 |
|---|---|---|
| committer | Quentin Aristote <quentin@aristote.fr> | 2021-12-27 09:35:59 +0100 |
| commit | cc73868d14f7b75e599b33b728c7946d66f5260f (patch) | |
| tree | bd947bafd53e9636f1d9adc6d2fa7e480947a0c2 /modules/why3.nix | |
| parent | 44406416d7bc42f011271bff010d8fd7f24aa3ef (diff) | |
remove quoting around nix paths cast to strings
Diffstat (limited to 'modules/why3.nix')
0 files changed, 0 insertions, 0 deletions