Luca Frosini cdaa596ee1 Changed API according to the new version of resource-registry-client		2022-02-09 13:22:08 +01:00
..
mapper	Changed API according to the new version of resource-registry-client	2022-02-09 13:22:08 +01:00
ISExporterPlugin.java	Switching to new smart-executor-api	2020-09-30 12:12:44 +02:00