diff options
| author | Andrew Cady <d@jerkface.net> | 2017-08-29 05:36:11 -0400 |
|---|---|---|
| committer | Andrew Cady <d@jerkface.net> | 2017-08-29 05:36:11 -0400 |
| commit | b78f7c78c3a6bcc2fddf3603336ccfc7c5e8ea50 (patch) | |
| tree | 2a210f1b1acc779f6f7e76ff2c4e47d7db18ad41 /.gitignore | |
| parent | 85129e4a9b97e7fe27ea1c560ad43603ad5133bc (diff) | |
Include derived file Arbitrary.hs in repo
This allows the git repo to be used as a dependency for stack builds.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
| @@ -3,7 +3,6 @@ | |||
| 3 | *.swp* | 3 | *.swp* |
| 4 | *.orig | 4 | *.orig |
| 5 | *.rej | 5 | *.rej |
| 6 | Data/OpenPGP/Arbitrary.hs | ||
| 7 | verify | 6 | verify |
| 8 | sign | 7 | sign |
| 9 | keygen | 8 | keygen |