]> rtime.felk.cvut.cz Git - linux-conf-perf.git/history - scripts/databaseclean.sql
projects / linux-conf-perf.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add skeleton for kconfig2sat tool
[linux-conf-perf.git] / scripts / databaseclean.sql
2015-08-18 Karel KočíAdd drop command for configopt table blob | commitdiff | raw
2015-07-28 Karel KočíAdd database table linuxgit and fix prepare sql command blob | commitdiff | raw | diff to current
2015-07-22 Karel KočíMakefile configuration is now automatically generated... blob | commitdiff | raw | diff to current
Automated overhead analysis of Linux configuration options