aboutsummaryrefslogtreecommitdiff
path: root/scripts/picosat-959/.gitignore
diff options
context:
space:
mode:
authorKarel Kočí <kocikare@fel.cvut.cz>2015-08-08 10:19:21 +0200
committerKarel Kočí <cynerd@email.cz>2015-08-12 10:22:55 +0200
commit4ef85ff52f3283ef6950b44e34f580cdc483bed2 (patch)
tree5735b1813f294b26ef3b66e0ec9ad9e77b5d8081 /scripts/picosat-959/.gitignore
parenta1530515b326efa92a15a5fb879a57a2707423bc (diff)
downloadlinux-conf-perf-4ef85ff52f3283ef6950b44e34f580cdc483bed2.tar.gz
linux-conf-perf-4ef85ff52f3283ef6950b44e34f580cdc483bed2.tar.bz2
linux-conf-perf-4ef85ff52f3283ef6950b44e34f580cdc483bed2.zip
Add default config for ryuglab target
Diffstat (limited to 'scripts/picosat-959/.gitignore')
0 files changed, 0 insertions, 0 deletions