ada/gnatcoll-db
0
0
Fork 0
mirror of https://github.com/AdaCore/gnatcoll-db.git synced 2026-02-12 12:59:31 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
github/pull/13
gnatcoll-db/sqlite/Makefile
Nicolas Roche 5833393ca7 Add support for GPR_OPTIONS variable 
Change-Id: I966b63e1062a5465afacac710b46431dc0111cb7
2018-05-23 11:52:19 -04:00

5.5 KiB
Raw Permalink Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink