]> rtime.felk.cvut.cz Git - linux-conf-perf.git/history - README.md
kconfig2sat: Preliminary support for generating pairs of "single-diff" configurations
[linux-conf-perf.git] / README.md
2015-05-21 Karel KočíAdd simple readme