]> rtime.felk.cvut.cz Git - linux-conf-perf.git/commit
Remove configuration options which are not used anymore
authorKarel Kočí <cynerd@email.cz>
Fri, 20 Nov 2015 11:34:53 +0000 (12:34 +0100)
committerMichal Sojka <sojkam1@fel.cvut.cz>
Fri, 26 Feb 2016 14:48:59 +0000 (15:48 +0100)
commitf00c87941c6acafe8bda55b59152587defc17bf3
tree3464645aa583953d59599febaf32a405b73a0509
parentb8f7118b19b075a3386bd9b021535b395528e4ec
Remove configuration options which are not used anymore
conf.py