j 98199702a7 same icon width		2021-02-18 17:58:01 +01:00
..
documentInfoView.leftovers.js	same icon width	2021-02-18 17:58:01 +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