[arch-commits] Commit in (cryptominisat2)

[Antonio Rojas]

    Date: Saturday, July 22, 2017 @ 17:24:01
  Author: arojas
Revision: 245996

Drop old version of cryptominisat

Deleted:
  cryptominisat2/