|
plugins
|
added auto-indexing
|
2022-06-24 16:08:27 +02:00 |
|
app.json
|
updated default settings
|
2022-06-22 22:57:29 +02:00 |
|
appearance.json
|
adding plugins and customizing
|
2022-06-22 09:34:43 +02:00 |
|
community-plugins.json
|
added auto-indexing
|
2022-06-24 16:08:27 +02:00 |
|
core-plugins.json
|
adding plugins and customizing
|
2022-06-22 09:34:43 +02:00 |
|
hotkeys.json
|
adding plugins and customizing
|
2022-06-22 09:34:43 +02:00 |
|
page-preview.json
|
updated
|
2022-06-22 09:43:58 +02:00 |
