aboutsummaryrefslogtreecommitdiff
path: root/scripts/picosat-959/.gitignore
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-07-24 17:30:17 +0200
committerKarel Kočí <cynerd@email.cz>2015-07-24 17:30:17 +0200
commitb074743821a729933a31bb5434ec807352743740 (patch)
treed60a28d117b125dc2558f584c8eb42097e580381 /scripts/picosat-959/.gitignore
parenta1aff4508bf0e87ecc4736a3a196a43faca3ffa1 (diff)
downloadlinux-conf-perf-b074743821a729933a31bb5434ec807352743740.tar.gz
linux-conf-perf-b074743821a729933a31bb5434ec807352743740.tar.bz2
linux-conf-perf-b074743821a729933a31bb5434ec807352743740.zip
Remove unused function from utils
build_conf_map is not used anywhere. And plan is to change files with which it works. So it doesn't have any sense to keeping it there or even rewriting it.
Diffstat (limited to 'scripts/picosat-959/.gitignore')
0 files changed, 0 insertions, 0 deletions