|
css
|
port changes from kate-editor.org
|
2019-08-03 22:41:09 +02:00 |
|
fontawesome
|
use new theme
|
2019-08-03 22:26:50 +02:00 |
|
fonts
|
use new theme
|
2019-08-03 22:26:50 +02:00 |
|
img
|
use new theme
|
2019-08-03 22:26:50 +02:00 |
|
js
|
use new theme
|
2019-08-03 22:26:50 +02:00 |
