Add: fail if given duplicate flags
tree15c8851fbb3cd0b2cda2c2e10b58a2db6491f19c
-rw-r--r-- 31 .gitignore
-rw-r--r-- 5468 Add.hs
-rw-r--r-- 887 Bookmark.hs
-rw-r--r-- 35147 COPYING
-rw-r--r-- 883 Citation.hs
-rw-r--r-- 871 Modify.hs
-rw-r--r-- 1004 README
-rw-r--r-- 871 Remove.hs
-rw-r--r-- 1681 Search.hs
-rw-r--r-- 3006 Util.hs
-rw-r--r-- 859 View.hs
-rw-r--r-- 2395 hdata.hs