diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2017-05-07 15:32:13 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2017-05-07 15:32:13 +1000 |
| commit | a8a921e5d96482a03f8b14143e95bde77f2cc627 (patch) | |
| tree | 313f53f1e973bc22ce0303e116fa8a030404085c /src/Miscellaneous.hs | |
| parent | 80cf3953e92d73eea756164dce6fcb771a3133aa (diff) | |
Added provisional GNAT project file
Diffstat (limited to 'src/Miscellaneous.hs')
0 files changed, 0 insertions, 0 deletions