summaryrefslogtreecommitdiff
path: root/obj/.gitignore
diff options
context:
space:
mode:
authorJed Barber <jjbarber@y7mail.com>2016-11-08 06:58:44 +1100
committerJed Barber <jjbarber@y7mail.com>2016-11-08 06:58:44 +1100
commit2b2ed338e7b4f7372fdd74feb33476dd7b94aea5 (patch)
tree0c4b3ef37d2f2ca87456cf68affb7e87240130e2 /obj/.gitignore
parent48cb96f4316398f8b9c2b9a580bfe5c9ca90e323 (diff)
Fixed a few errors turned up by latest GNAT
Diffstat (limited to 'obj/.gitignore')
0 files changed, 0 insertions, 0 deletions