diff options
| author | Joris | 2022-07-05 15:05:22 +0200 |
|---|---|---|
| committer | Joris | 2022-07-05 15:05:22 +0200 |
| commit | f02ff6b9a988db111e0384640876f20ecd0e8293 (patch) | |
| tree | 2e40a88a8f10887dc985be18033682bb369ec179 /.gitignore | |
| parent | 650a23ed763d8627af14ed154fdb9097a80875c5 (diff) | |
Simplify tooling
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 4 |
1 files changed, 1 insertions, 3 deletions
@@ -1,4 +1,2 @@ -ad-listener.nix local.conf -.ghc.environment.* -.stack-work/ +dist-newstyle |