aboutsummaryrefslogtreecommitdiff
path: root/scripts/picosat-959/NEWS
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-05-14 17:37:53 +0200
committerKarel Kočí <cynerd@email.cz>2015-05-14 17:37:53 +0200
commit20b6c4eec8b7e6ff6537c177dcbbb77e69f67bcc (patch)
tree6204e0636d83c5257469fa3e77c943049ff42964 /scripts/picosat-959/NEWS
parent2edc1883b2b62327516d91f8cdaac939570c3384 (diff)
downloadlinux-conf-perf-20b6c4eec8b7e6ff6537c177dcbbb77e69f67bcc.tar.gz
linux-conf-perf-20b6c4eec8b7e6ff6537c177dcbbb77e69f67bcc.tar.bz2
linux-conf-perf-20b6c4eec8b7e6ff6537c177dcbbb77e69f67bcc.zip
Add dot_config to gitignore
Diffstat (limited to 'scripts/picosat-959/NEWS')
0 files changed, 0 insertions, 0 deletions