diff options
author | Jed Barber <jjbarber@y7mail.com> | 2015-03-14 23:39:08 +1100 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2015-03-14 23:39:08 +1100 |
commit | 0552bcdf5dfd199ce2cd9f9d2f4e614a6f217b7f (patch) | |
tree | e5e234c346db552239ec9afd623cc1b07bda3c62 /Thue/Interpreter.hs | |
parent | aac4cacb47ba22edf8cc722ff2a8fb9e19072a4b (diff) |
.ali files from GNAT now ignored
Diffstat (limited to 'Thue/Interpreter.hs')
0 files changed, 0 insertions, 0 deletions