Enrico Faulhaber 123d0fb504 [GUI]: create buttons for commands
very basic!

Change-Id: Iee528a307be41e2da1f6f54d8442b7d24634bebe
2017-09-07 15:03:36 +02:00
2017-09-07 11:08:10 +02:00
2017-09-07 11:02:20 +02:00
2017-07-07 22:28:45 +02:00
2017-08-01 12:27:03 +02:00
2017-09-07 15:03:36 +02:00
2016-12-08 13:46:32 +01:00
2017-07-19 11:03:29 +02:00
2017-07-19 11:09:23 +02:00
2017-08-01 13:37:52 +02:00
Description
PSI local frappy repo, probably ahead of git/gerrit at MLZ
4.7 MiB
Languages
Python 99.9%