diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2015-03-18 03:00:13 +1100 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2015-03-18 03:00:13 +1100 |
| commit | 6b0a72d1d9603bc3c340ee48285f78d5565aacdd (patch) | |
| tree | 697878542bb1216e3acceaaabc43df3dda07353b /src/Thue | |
| parent | 0552bcdf5dfd199ce2cd9f9d2f4e614a6f217b7f (diff) | |
Ensuring Ada intermediate files get cleaned up
Diffstat (limited to 'src/Thue')
0 files changed, 0 insertions, 0 deletions