Manuel Friedli 33f3ea8200 Add info message about gitlab removal		2018-09-05 16:05:52 +02:00
..
news	Add info message about gitlab removal	2018-09-05 16:05:52 +02:00
layout.conf	moving everything to trunk/ was a silly idea	2014-02-24 18:19:03 +01:00