j e361b1c16f use iconWidth		2021-02-18 17:54:07 +01:00
..
documentInfoView.leftovers.js	use iconWidth	2021-02-18 17:54:07 +01:00
home.leftovers.js	update find document element if available	2019-12-01 17:45:09 +01:00
infoView.leftovers.js	fix info page	2020-12-02 13:49:26 +01:00