Add mk.install to .gitignore
[gnadelite.git] / src / 
treed0017793fc5e723487a32de810f7fe9a1696d7fe
drwxr-xr-x   ..
-rwxr-xr-x 7014 db-sqlite.adb
-rw-r--r-- 3518 db-sqlite.ads
-rw-r--r-- 2629 db-tools.adb
-rw-r--r-- 2323 db-tools.ads
-rw-r--r-- 3409 db.ads