aboutsummaryrefslogtreecommitdiff
path: root/scripts/picosat-959/VERSION
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-08-12 16:41:59 +0200
committerKarel Kočí <cynerd@email.cz>2015-08-13 10:13:43 +0200
commit3ee62e5d11b8516bda319e6e427e35dd4509f6b1 (patch)
treeb5824cad7f887efb517251b4bd285f3ef498cb06 /scripts/picosat-959/VERSION
parentdf5b3585299628def438de1b7569b0677491ea34 (diff)
downloadlinux-conf-perf-3ee62e5d11b8516bda319e6e427e35dd4509f6b1.tar.gz
linux-conf-perf-3ee62e5d11b8516bda319e6e427e35dd4509f6b1.tar.bz2
linux-conf-perf-3ee62e5d11b8516bda319e6e427e35dd4509f6b1.zip
Fix problem with wrongly printed first line in CNF file
Diffstat (limited to 'scripts/picosat-959/VERSION')
0 files changed, 0 insertions, 0 deletions