2 commits

Author	SHA1	Message	Date
Peter Hoeg	45248be2aa	cryptominisat: use new xxd package instead of vim	2017-07-24 09:37:58 +08:00
Jörg Thalheim	893c7b6112	cryptominisat: init at 5.0.1	2017-05-22 22:25:14 +01:00