add missing changes for timer_select.patch
authorAndreas Monzner <andreas.monzner@multimedia-labs.de>
Wed, 20 Feb 2008 11:19:52 +0000 (11:19 +0000)
committerAndreas Monzner <andreas.monzner@multimedia-labs.de>
Wed, 20 Feb 2008 11:19:52 +0000 (11:19 +0000)
commitbc937acb188ea59ced7d67ceaa91f2598db39ab9
treeebb24b11d935dc1945430b788876fb2e913899bf
parent522a7e522d8d59344f85cef9245b2dc3695bc166
add missing changes for timer_select.patch
RecordTimer.py