j 9f56cff77b add rename dialog, run in local folder		2018-05-10 14:30:22 +01:00
..
html	split output	2018-05-09 17:03:57 +01:00
js	add rename dialog, run in local folder	2018-05-10 14:30:22 +01:00
png	rename	2018-05-08 15:34:00 +01:00