diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-02-18 22:58:12 +0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2020-02-18 22:59:55 +0100 |
| commit | 50cf77cecd6ed2c98fab1651e54f7a8dcc162db6 (patch) | |
| tree | cadb29613299ecaa24cfead6c3665ad647850577 /doc/manual | |
| parent | dd032f624cae1b705f30db57b468484050564a4a (diff) | |
Remove outdated shell.nix
Looks like this got accidentally revived after 204291f0598c43b10cf20a89b49fc63624d78c7c.
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions