]> rtime.felk.cvut.cz Git - linux-conf-perf.git/commit
kconfig2sat: More features
authorMichal Sojka <sojkam1@fel.cvut.cz>
Sun, 18 Oct 2015 16:51:36 +0000 (18:51 +0200)
committerMichal Sojka <sojkam1@fel.cvut.cz>
Sun, 18 Oct 2015 16:51:36 +0000 (18:51 +0200)
commitb18e229147f700c330302e759b67bc414dd529c2
treea5559f9560796488c15baf797cc0d6af698dd008
parent8be330d8fc580b21e540ae2f3a66ede05da99640
kconfig2sat: More features
kconfig2sat/kconfig2sat.cc