diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-05-14 17:37:53 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-05-14 17:37:53 +0200 |
| commit | 20b6c4eec8b7e6ff6537c177dcbbb77e69f67bcc (patch) | |
| tree | 6204e0636d83c5257469fa3e77c943049ff42964 /scripts/picosat-959/NEWS | |
| parent | 2edc1883b2b62327516d91f8cdaac939570c3384 (diff) | |
| download | linux-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