diff options
author | John Ericson <jericson@galois.com> | 2016-10-20 14:28:23 -0400 |
---|---|---|
committer | John Ericson <jericson@galois.com> | 2016-10-20 14:28:23 -0400 |
commit | f51cdd05356c2169dd2e31be96d487752603dd33 (patch) | |
tree | b29e1e4a9c5cb9e32a5a83804fe4c50394203f5f | |
parent | 57c4f92f2e1b18329b8c055e8f212762be3eb26c (diff) |
Add .gitignore adapted from NixPkgs
-rw-r--r-- | .gitignore | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..2151b35 --- /dev/null +++ b/.gitignore @@ -0,0 +1,9 @@ +*~ +,* +.*.swp +.*.swo +result +result-* +.version-suffix + +.DS_Store |