GitHub PushEvent at 2014-10-31 13:17:07
Repository: framesoc
Actor: generoso
Payload: {"shas":[["2bd852ed8506ff4f62c1be5fa10e9be5f3469799","90e516b6ae25d237b5ebfa7e312d7ff37597a983@inria.fr","Fixed button size","Generoso Pagano",true],["6275193a1b490a307465fafec14a7c78e0d66a13","90e516b6ae25d237b5ebfa7e312d7ff37597a983@inria.fr","first solution: always 10 bars","Generoso Pagano",true],["745667626a7718f22eeb71fce7f6bfdfa3eae536","90e516b6ae25d237b5ebfa7e312d7ff37597a983@inria.fr","better solution: integer bars","Generoso Pagano",true],["b99cc07b24d525d34270be3439e4fad33aa7b2c2","90e516b6ae25d237b5ebfa7e312d7ff37597a983@inria.fr","time bar can write timestamps on eclipse statusbar","Generoso Pagano",true],["d10e951b9f013fd4cdade79033cf32ec4fde4ba3","90e516b6ae25d237b5ebfa7e312d7ff37597a983@inria.fr","Time bar users set status bar manager. This closes #71.","Generoso Pagano",true]],"size":5,"ref":"refs/heads/master","head":"d10e951b9f013fd4cdade79033cf32ec4fde4ba3"}