Michael Zanetti
|
73231419a9
|
generate an include file with uuids from json
|
2019-04-01 20:48:17 +02:00 |
|
Michael Zanetti
|
fb2406d478
|
port new plugins to json system
|
2019-04-01 20:48:17 +02:00 |
|
Michael Zanetti
|
44118a1c06
|
initial work on moving plugin description to json
|
2019-04-01 20:48:17 +02:00 |
|
Michael Zanetti
|
b252ff9706
|
port new plugins to json system
|
2019-04-01 20:48:17 +02:00 |
|
Michael Zanetti
|
dcd2fdc049
|
initial work on moving plugin description to json
|
2019-04-01 20:48:17 +02:00 |
|
Michael Zanetti
|
693519841f
|
rename plugins
|
2014-01-06 21:14:09 +01:00 |
|