mirror of
https://github.com/pulsar-edit/pulsar.git
synced 2024-09-20 15:37:46 +03:00
5 lines
54 B
JSON
5 lines
54 B
JSON
{
|
|
"theme": "ui",
|
|
"styleSheets": ["editor.less"]
|
|
}
|