diff options
Diffstat (limited to 'cryptominisat5/cryptominisat-5.6.3/debian/cryptominisat5.docs')
-rw-r--r-- | cryptominisat5/cryptominisat-5.6.3/debian/cryptominisat5.docs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cryptominisat5/cryptominisat-5.6.3/debian/cryptominisat5.docs b/cryptominisat5/cryptominisat-5.6.3/debian/cryptominisat5.docs new file mode 100644 index 000000000..8d526b990 --- /dev/null +++ b/cryptominisat5/cryptominisat-5.6.3/debian/cryptominisat5.docs @@ -0,0 +1 @@ +README.markdown |