diff options
| author | Joris | 2016-02-20 13:49:10 +0100 |
|---|---|---|
| committer | Joris | 2016-02-20 13:49:10 +0100 |
| commit | 0d802dc8cc0dbef596f6448060a864137f66fae7 (patch) | |
| tree | 0115c8c800be42811bc2bc861b7914036026a874 /src/server/Conf.hs | |
| parent | 7908e6d8c3e0a6e679932a970d2ac8401a34cffb (diff) | |
Update gitignore because we now use nix
Diffstat (limited to 'src/server/Conf.hs')
0 files changed, 0 insertions, 0 deletions