|
|
68c1b808d4
|
transition from specresurs
|
2024-06-03 21:53:37 +07:00 |
|
|
|
cc81f4f781
|
merge
|
2024-03-22 04:59:39 +07:00 |
|
|
|
f61071fdce
|
installation fixes
|
2023-06-14 18:56:53 +07:00 |
|
root
|
5d61ebce89
|
dolboeb
|
2023-06-14 08:10:29 +00:00 |
|
|
|
5a6f16bfbd
|
отступы вместо пробелов
|
2023-03-21 22:44:09 +10:00 |
|
|
|
ce27dbe7e8
|
добавлены форматировщики и LSP-сервера
|
2023-03-21 06:26:16 +10:00 |
|
|
|
12a4e31da7
|
исправление автозагрузки coq + отключение стрелочек
|
2023-02-14 07:58:56 +10:00 |
|
|
|
52aa5481e8
|
Мощное обновление (тема lush будет настроена позже)
|
2023-02-12 20:48:16 +10:00 |
|
|
|
47e833bef3
|
moshno nadristal
|
2023-02-11 22:56:38 +10:00 |
|
|
|
b4157580f5
|
recovery from stupid file loss and major update
|
2023-02-10 04:39:34 +10:00 |
|
