diff options
author | Jed Barber <jjbarber@y7mail.com> | 2016-09-19 18:53:14 +1000 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2016-09-19 18:53:14 +1000 |
commit | 7a14ee099c2fd382c2951627bf43e3fc507181f4 (patch) | |
tree | 9b749987f9ac87bcda46671b87bd6a9308a726f8 /obj/.gitignore | |
parent | b709843ae66a4348746d6a54114c99dd00ebdb74 (diff) |
Editors.adb/ads now known as Editor_Windows.adb/ads in preparation for more window types
Diffstat (limited to 'obj/.gitignore')
0 files changed, 0 insertions, 0 deletions