j 978ee57e89 add publication		2020-05-09 18:39:54 +02:00
..
documentInfoView.leftovers.js	add publication	2020-05-09 18:39:54 +02:00
home.leftovers.js	update find document element if available	2019-12-01 17:45:09 +01:00
infoView.leftovers.js	rename	2019-10-14 19:47:46 +01:00