Mario Pietsch ec1df7edf0 Fix whitespace in themes (#5700)		2021-05-19 14:12:12 +01:00
..
base.tid	Fix whitespace in themes (#5700)	2021-05-19 14:12:12 +01:00
plugin.info	Introduce new "tight" theme	2015-10-09 17:59:56 +01:00