aboutsummaryrefslogtreecommitdiff
path: root/scripts/picosat-959/mkconfig
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-08-13 15:53:06 +0200
committerKarel Kočí <cynerd@email.cz>2015-08-13 15:53:06 +0200
commitb6abf4e8fe0c3b40305dfdd0410abfbf3c804874 (patch)
tree0e63a8695c793e79ba1b64b6674002c02f514040 /scripts/picosat-959/mkconfig
parenta8c91e078ccb3780a53748cc52b7974bfc65b636 (diff)
parent72316e351df5159384d70faa708224ff2fcc8dd2 (diff)
downloadlinux-conf-perf-b6abf4e8fe0c3b40305dfdd0410abfbf3c804874.tar.gz
linux-conf-perf-b6abf4e8fe0c3b40305dfdd0410abfbf3c804874.tar.bz2
linux-conf-perf-b6abf4e8fe0c3b40305dfdd0410abfbf3c804874.zip
Merge branch 'measuring'
Removing measuring branch. Idea was to make measuring configuration separate from master. But keeping changes in master and measuring branch consistent was pain.
Diffstat (limited to 'scripts/picosat-959/mkconfig')
0 files changed, 0 insertions, 0 deletions