]> rtime.felk.cvut.cz Git - linux-conf-perf.git/commit
kconfig2sat: Cleanup
authorMichal Sojka <sojkam1@fel.cvut.cz>
Sun, 25 Oct 2015 22:52:28 +0000 (23:52 +0100)
committerMichal Sojka <sojkam1@fel.cvut.cz>
Sun, 25 Oct 2015 22:52:28 +0000 (23:52 +0100)
commit7e586bef121a66898c00e150a9273a8c1f2b5956
treeebd51d90b344cd39942c25f2724ec4d406992e01
parenta876fa7367341b5af53cb3159385aa304eb46887
kconfig2sat: Cleanup
kconfig2sat/kconfig2sat.cc