|
config-page
|
Make tab indentation an option
|
2022-05-06 20:34:48 +02:00 |
|
editor
|
Enable noImplicitAny
|
2022-05-06 07:46:15 +02:00 |
|
editor-types
|
Make tab indentation an option
|
2022-05-06 20:34:48 +02:00 |
|
config-link.ts
|
Rename "Config" to "Options"
|
2022-05-06 20:03:28 +02:00 |
