]> rtime.felk.cvut.cz Git - linux-conf-perf.git/commit
Add gitignore for picosat
authorKarel Kočí <cynerd@email.cz>
Tue, 5 May 2015 10:01:07 +0000 (12:01 +0200)
committerKarel Kočí <cynerd@email.cz>
Tue, 5 May 2015 10:01:07 +0000 (12:01 +0200)
commit7906fa5b78abc6a176f4f5e5014afef4aa34ee7a
treeaccd53d28b8683392dab7e2945e8c96a2689d618
parentdfe47d067a70f9781e3b431f6a685090bf87ff40
Add gitignore for picosat
scripts/picosat-959/.gitignore [new file with mode: 0644]