diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-07-24 17:30:17 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-07-24 17:30:17 +0200 |
| commit | b074743821a729933a31bb5434ec807352743740 (patch) | |
| tree | d60a28d117b125dc2558f584c8eb42097e580381 /scripts/picosat-959/.gitignore | |
| parent | a1aff4508bf0e87ecc4736a3a196a43faca3ffa1 (diff) | |
| download | linux-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