tree 19cd2f414d4a090effb620a7fd5c8494ba06ddd6
parent 5b3a58e806660756efbb5acd1bf8cd350f3ad7ca
author adamdunkels <adamdunkels> 1060472295 +0000
committer adamdunkels <adamdunkels> 1060472295 +0000

Added F5 and F7 as widget switching keys