diff options
author | Karel Kočí <cynerd@email.cz> | 2015-04-19 14:13:27 +0200 |
---|---|---|
committer | Karel Kočí <cynerd@email.cz> | 2015-04-19 14:13:27 +0200 |
commit | ac21b2336faf2b8f10af99d7d296fc9b124a1716 (patch) | |
tree | 2e573e9ffea1eb483814c957a292fe686a41635c /scripts/solution.py | |
parent | 9d59f748b06eeea00b1addbf48068455612007aa (diff) | |
download | linux-conf-perf-ac21b2336faf2b8f10af99d7d296fc9b124a1716.tar.gz linux-conf-perf-ac21b2336faf2b8f10af99d7d296fc9b124a1716.tar.bz2 linux-conf-perf-ac21b2336faf2b8f10af99d7d296fc9b124a1716.zip |
Remove configdiff
This script is not needed any more.
Same (and better) behaviour is now implemented in write_config.
Diffstat (limited to 'scripts/solution.py')
0 files changed, 0 insertions, 0 deletions