]> rtime.felk.cvut.cz Git - linux-conf-perf.git/search
kconfig2sat: Implement reading (and checking) of variable symbols