|
common
|
Change JSON symbol information to document symbol
|
2023-04-06 17:36:52 +09:00 |
|
css
|
update css, new formatting options
|
2022-04-01 18:07:52 +02:00 |
|
html
|
adopt css formatter
|
2022-03-31 15:12:17 +02:00 |
|
json
|
Remove unused types
|
2023-12-20 11:39:05 +01:00 |
|
typescript
|
Fixes CodeQL issues (#4090)
|
2023-07-19 17:05:52 +02:00 |
