Only create DB if it does not exist
treec70337cafc2d10746f58aa8dff1ac7b0ce7bcf34
-rw-r--r-- 26 .gitignore
-rw-r--r-- 4044 Add.hs
-rw-r--r-- 125 Bookmark.hs
-rw-r--r-- 125 Citation.hs
-rw-r--r-- 115 Modify.hs
-rw-r--r-- 1004 README
-rw-r--r-- 115 Remove.hs
-rw-r--r-- 115 Search.hs
-rw-r--r-- 1121 Util.hs
-rw-r--r-- 105 View.hs
-rw-r--r-- 1561 hdata.hs