Florian Scholdei 7fba12e30f renamed extensionpoint

2019-02-07 16:55:34 +01:00

..

Configuration.js

disabled button after successful change

2019-01-02 14:24:57 +01:00

ConfigurationBinder.js

renamed extensionpoint

2019-02-07 16:55:34 +01:00

index.js

remove deleted file from export

2018-11-15 10:16:00 +01:00