diff options
| author | Joris | 2016-07-02 16:26:12 +0200 |
|---|---|---|
| committer | Joris | 2016-07-02 16:26:12 +0200 |
| commit | a04ec905da2c6a8640162a0d397e184ea1a8bc78 (patch) | |
| tree | f77f0a6012d0a2cb2eb0316273d5d13e83815f43 /.gitignore | |
| parent | ba33dfef23d070bfff92d6322808507c1b7d2814 (diff) | |
Use nix to fetch dev tools
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -4,8 +4,7 @@ database-shm database-wal elm-stuff/ public/javascripts/*.js -./public/javascripts/*.js sessionKey node_modules -shell.nix local.conf +sharedCost.nix |