tree d5048d55fd705eba605aa45c79494c2e8599c2e2
parent 51a70882c96d0c9fa54db953ddd158a1094cc5bb
author Michael Jastram <michael@jastram.de> 1418828963 +0100
committer Michael Jastram <michael@jastram.de> 1418828963 +0100

Refactoring GUI to support set/not set