diff options
| author | tv <tv@krebsco.de> | 2017-05-02 21:51:07 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2017-05-02 21:51:14 +0200 |
| commit | 6312ce9800708eaf619ad0e93af3a224e09ce4de (patch) | |
| tree | c6389d1b06b56ee5d2b62a659f904e472f655406 /.gitignore | |
| parent | de13fa04339b8085d6b7bbdc1dd3ec31ec981701 (diff) | |
replace shell.nix by skeleton from much[1]
[1]: http://cgit.krebsco.de/much
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..c9d712d --- /dev/null +++ b/.gitignore @@ -0,0 +1,5 @@ +*.hi +*.o +.graveyard +/dist +/shell.nix |