]> rtime.felk.cvut.cz Git - linux-conf-perf.git/commitdiff
projects / linux-conf-perf.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 9bd7315)
kconfig2sat: More work
authorMichal Sojka <sojkam1@fel.cvut.cz>
Tue, 20 Oct 2015 09:50:35 +0000 (11:50 +0200)
committerMichal Sojka <sojkam1@fel.cvut.cz>
Tue, 20 Oct 2015 09:50:35 +0000 (11:50 +0200)

No differences found
Automated overhead analysis of Linux configuration options