Vladimír Čunát 03cf538ef2 18.09: Jackrabbit -> Jellyfish ... See eb0fa09232 and github discussion on that. My misgiving about the t-shirts was refuted. I don't think this flip may negatively affect anyone.		2018-03-16 12:26:03 +01:00
..
manual	18.09: Jackrabbit -> Jellyfish	2018-03-16 12:26:03 +01:00