diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2015-03-14 23:39:08 +1100 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2015-03-14 23:39:08 +1100 |
| commit | 0552bcdf5dfd199ce2cd9f9d2f4e614a6f217b7f (patch) | |
| tree | e5e234c346db552239ec9afd623cc1b07bda3c62 /src/Grasp/Examples/push.grasp | |
| parent | aac4cacb47ba22edf8cc722ff2a8fb9e19072a4b (diff) | |
.ali files from GNAT now ignored
Diffstat (limited to 'src/Grasp/Examples/push.grasp')
0 files changed, 0 insertions, 0 deletions