|
plugins
|
add plugin metadata, fix copyright informations
|
2023-04-08 21:49:05 +02:00 |
|
3_build.js
|
zwischenstand, WIP
|
2020-06-09 03:09:43 +02:00 |
|
4_publish.js
|
zwischenstand, WIP
|
2020-06-09 03:09:43 +02:00 |
|
update.sh
|
adjust customizations to current editor
|
2023-04-08 21:49:05 +02:00 |
