]> rtime.felk.cvut.cz Git - linux-conf-perf.git/history - scripts/configurations.py
projects / linux-conf-perf.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add generator identifier to configuration in database
[linux-conf-perf.git] / scripts / configurations.py
2015-07-28 Karel KočíAdd generator identifier to configuration in database blob | commitdiff | raw
2015-07-28 Karel KočíScripts changed to use database. blob | commitdiff | raw | diff to current
2015-07-24 Karel KočíFix big amount of bugs in recently commited code blob | commitdiff | raw | diff to current
2015-07-24 Karel KočíRewrite configuration script blob | commitdiff | raw | diff to current
2015-07-22 Karel KočíRename solution script to configurations blob | commitdiff | raw | diff to current
Automated overhead analysis of Linux configuration options