summaryrefslogtreecommitdiff
path: root/src/Thue
diff options
context:
space:
mode:
authorJed Barber <jjbarber@y7mail.com>2015-03-18 03:00:13 +1100
committerJed Barber <jjbarber@y7mail.com>2015-03-18 03:00:13 +1100
commit6b0a72d1d9603bc3c340ee48285f78d5565aacdd (patch)
tree697878542bb1216e3acceaaabc43df3dda07353b /src/Thue
parent0552bcdf5dfd199ce2cd9f9d2f4e614a6f217b7f (diff)
Ensuring Ada intermediate files get cleaned up
Diffstat (limited to 'src/Thue')
0 files changed, 0 insertions, 0 deletions