Bruno Windels 95060d4e95 reduce vertical padding around explore/filter		2019-09-12 11:27:20 +02:00
..
css	reduce vertical padding around explore/filter	2019-09-12 11:27:20 +02:00
fonts
img	add explore button next to filter field	2019-09-10 10:55:55 +02:00
media
themes	Allow connecting to an IS from address picker	2019-08-29 15:28:34 +01:00