 Arsen Mirzaev Tatyano-Muradovich
|
5a6f16bfbd
|
отступы вместо пробелов
|
2023-03-21 22:44:09 +10:00 |
|
|
Arsen Mirzaev Tatyano-Muradovich
|
ce27dbe7e8
|
добавлены форматировщики и LSP-сервера
|
2023-03-21 06:26:16 +10:00 |
|
|
Arsen Mirzaev Tatyano-Muradovich
|
74cc3389e8
|
добавлены lsp-сервера а так же определение html файлов
|
2023-02-26 23:05:20 +10:00 |
|
|
Arsen Mirzaev Tatyano-Muradovich
|
967952b41b
|
Поддержка ru_RU
|
2023-02-14 19:40:45 +10:00 |
|
|
Arsen Mirzaev Tatyano-Muradovich
|
12a4e31da7
|
исправление автозагрузки coq + отключение стрелочек
|
2023-02-14 07:58:56 +10:00 |
|
|
Arsen Mirzaev Tatyano-Muradovich
|
47e833bef3
|
moshno nadristal
|
2023-02-11 22:56:38 +10:00 |
|
|
Arsen Mirzaev Tatyano-Muradovich
|
b4157580f5
|
recovery from stupid file loss and major update
|
2023-02-10 04:39:34 +10:00 |
|