Commit graph

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