diff options
| author | tv <tv@shackspace.de> | 2014-12-27 23:03:16 +0100 |
|---|---|---|
| committer | tv <tv@shackspace.de> | 2014-12-27 23:03:16 +0100 |
| commit | 6b9ed1ce38f82f69950dcf1dc8474b47470fd18f (patch) | |
| tree | cb39774dcb8bbccf1d5f462522bbe1e964d17ac7 | |
| parent | 77c0bf44a846c3af5b80940f66afa73d8c2d3d5c (diff) | |
gitignore .graveyard
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,2 +1,3 @@ *.hi *.o +.graveyard |