Revert "Add missing library option"
[gnadelite.git] / src / 
tree1f1af9f2eebe7187a442453fe38fa4672af401a4
drwxr-xr-x   ..
-rw-r--r-- 13443 db-sqlite.adb
-rw-r--r-- 3884 db-sqlite.ads
-rw-r--r-- 2629 db-tools.adb
-rw-r--r-- 2323 db-tools.ads
-rw-r--r-- 3409 db.ads
-rw-r--r-- 355620 sqlite3_h.ads