xdrm-brackets 51f1f6f80c rename 'window._token_' to 'window._tree_token_' in api.js		2017-10-27 18:15:15 +02:00
..
lib	rename 'window._token_' to 'window._tree_token_' in api.js	2017-10-27 18:15:15 +02:00
min	'extension' renamed to 'option' + showed in machine_cluster lists (machine/groups + groups/view) + module in term of design / option in term of user explanation	2017-09-23 19:40:37 +02:00
action-script.js	'extension' renamed to 'option' + showed in machine_cluster lists (machine/groups + groups/view) + module in term of design / option in term of user explanation	2017-09-23 19:40:37 +02:00