Tomas Bures 965f30cea7 Editing of triggers seems to work. ... Some further fixes.		2018-08-04 15:00:37 +05:30
..
20170506102634_v1_to_v2.js	Editing of triggers seems to work.	2018-08-04 15:00:37 +05:30