labortage2013badge.git
2013-10-16 bgkeyboard functionality still not working
2013-10-16 bgadding old command-line-tool
2013-10-15 bginitial - non working - stuff