diff options
| author | Ben Sima <ben@bsima.me> | 2019-02-26 09:38:40 -0800 |
|---|---|---|
| committer | William Casarin <jb55@jb55.com> | 2019-02-26 09:44:41 -0800 |
| commit | 5606078e8fa02462f0208d9f9cad98c7673812e6 (patch) | |
| tree | bbf35f2cd7c8d275753e7d6285d45408205728ab /.gitignore | |
| parent | 775380ba5d29d9b4057440e6a86f69e0d0213585 (diff) | |
Add a simple default.nix
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -4,3 +4,4 @@ /cfg.h /TAGS /archive/ +/result |