Arsen Mirzaev Tatyano-Muradovich
|
ce27dbe7e8
|
добавлены форматировщики и LSP-сервера
|
2023-03-21 06:26:16 +10:00 |
|
Arsen Mirzaev Tatyano-Muradovich
|
12a4e31da7
|
исправление автозагрузки coq + отключение стрелочек
|
2023-02-14 07:58:56 +10:00 |
|
Arsen Mirzaev Tatyano-Muradovich
|
52aa5481e8
|
Мощное обновление (тема lush будет настроена позже)
|
2023-02-12 20:48:16 +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 |
|