aboutsummaryrefslogtreecommitdiff
path: root/scripts/picosat-959/.gitignore
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-05-14 22:51:15 +0200
committerKarel Kočí <cynerd@email.cz>2015-05-14 22:51:15 +0200
commit2e9ef6384bf9a9b599a5f7438d8772fcbccb760f (patch)
treee2788bcffdb529cb8a216ed69cd247de0dd52cdd /scripts/picosat-959/.gitignore
parent932319b3520588445ea2cf47888e086b540c5331 (diff)
downloadlinux-conf-perf-2e9ef6384bf9a9b599a5f7438d8772fcbccb760f.tar.gz
linux-conf-perf-2e9ef6384bf9a9b599a5f7438d8772fcbccb760f.tar.bz2
linux-conf-perf-2e9ef6384bf9a9b599a5f7438d8772fcbccb760f.zip
Fix error in utils script
Diffstat (limited to 'scripts/picosat-959/.gitignore')
0 files changed, 0 insertions, 0 deletions