diff options
author | tv <tv@shackspace.de> | 2015-10-17 19:26:22 +0200 |
---|---|---|
committer | tv <tv@shackspace.de> | 2015-10-17 19:26:22 +0200 |
commit | 7fb8aba32a554e1500b3ad84c398da80a6a8fad6 (patch) | |
tree | 894ccce74fdc9ac6c0746588cf7c8f278923d152 /Hirc/Types.hs | |
parent | 0911b937dc829b2c9ca67f8636499cad2fc4f632 (diff) |
init .gitignoreHEADnomic/masterni/mastercd/mastermaster
Diffstat (limited to 'Hirc/Types.hs')
0 files changed, 0 insertions, 0 deletions