/tmp/palladio/supporting/branding/releases/1.0.0/plugins/

File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
org.palladiosimulator.branding.source_1.0.0.jar	1.8 KiB	2019-Sep-06 14:08
org.palladiosimulator.branding_1.0.0.jar	5.1 KiB	2019-Sep-06 14:08