]> rtime.felk.cvut.cz Git - linux-conf-perf.git/blob - kconfig2sat/.gitignore
projects / linux-conf-perf.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
kconfig2sat: More work
[linux-conf-perf.git] / kconfig2sat / .gitignore
1 /GPATH
2 /GRTAGS
3 /GTAGS
4 /kconfig/zconf.hash.c
5 /kconfig/zconf.lex.c
6 /kconfig/zconf.tab.c
7 /kconfig2sat
Automated overhead analysis of Linux configuration options