.settings
|
Adjusts settings to fix updatesite bugs
|
2022-07-28 09:22:41 +02:00 |
icons
|
Renames files + folders in 'gips.ui'
|
2022-04-28 18:31:17 +02:00 |
xtend-gen
|
Renames files + folders in 'gips.ui'
|
2022-04-28 18:31:17 +02:00 |
.classpath
|
Adjusts settings to fix updatesite bugs
|
2022-07-28 09:22:41 +02:00 |
.project
|
Let the script does it's magic
|
2022-04-28 18:44:24 +02:00 |
build.properties
|
Adjusts settings to fix updatesite bugs
|
2022-07-28 09:22:41 +02:00 |
plugin.xml
|
added GIPS nature
|
2022-08-10 14:37:52 +02:00 |
plugin.xml_gen
|
Let the script does it's magic
|
2022-04-28 18:44:24 +02:00 |