GitHub PushEvent at 2014-07-31 08:36:11
Repository: roslab_ide
Actor: sem23
Payload: {"shas":[["1bf23d6f634a901d6c5ca0910d25b1800f55eb61","ba6f08ddeee74843107701c1837fbe8d47b59c51@gmail.com","Added Splashscreen.\n\n- ROSLab IDE now has a banner which is displayed as splash screen while\nloading... (sorry, this can last a few seconds, especially on first\nrun...)","Peter Rudolph",false],["51af7a699948c1fbb6b6953e4854edb0e1d1811e","ba6f08ddeee74843107701c1837fbe8d47b59c51@gmail.com","Removed Tabs in Editor\n\n- now only spaces are used in editors (tab-indent is set to 4)","Peter Rudolph",false]],"size":2,"ref":"refs/heads/master","head":"51af7a699948c1fbb6b6953e4854edb0e1d1811e"}