summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2017-04-30 14:06:01 +0200
committertv <tv@krebsco.de>2017-04-30 15:46:32 +0200
commit14e952c60f5d39024fa754fd85f37abceef4787f (patch)
treed88d6e4cd5d5bddac74831a76a981fc2ed9b0b4a
parentb6e8b5ccbf5f6862cf3f8629df9e101b90e342db (diff)
gitignore shell.nix
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 5605c01..c9d712d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,3 +2,4 @@
*.o
.graveyard
/dist
+/shell.nix