diff options
| author | tv <tv@shackspace.de> | 2015-10-17 19:08:15 +0200 |
|---|---|---|
| committer | tv <tv@shackspace.de> | 2015-10-17 19:25:29 +0200 |
| commit | ef344c57945d455c6752c2032c701d7f9315f69b (patch) | |
| tree | 21139cf0cd844eb661e80978c04f91de48b93907 /.gitignore | |
| parent | 3a2775bc5bd132109c8cfbd84b11a1e7cf633311 (diff) | |
replace hirc.hs by main.hs
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions