Noémi Ványi d88950c25f [fix] darker green for result urls		2017-01-27 01:21:48 +01:00
..
logicodev	[fix] darker green for result urls	2017-01-27 01:21:48 +01:00
pointhi	[enh] make navbar smaller	2017-01-26 23:52:00 +01:00