common/src/config.ads
docs/*.info
docs/*.pdf
docs/circle_x.png
docs/diamond_x.png
docs/dot_x.png
docs/gps_pg.txt
docs/square_x.png
docs/triangle_x.png
docs/tutorial.html
docs/tutorial.txt
gnat-gps
gps-main
gps.log
obj/*
share/plug-ins/gps_utils/gnat_switches.py
