4 Commits

Author	SHA1	Message	Date
Arsen Mirzaev Tatyano-Muradovich	422e3d1079	починил форматирование и добавил определение типа файла .log как json	2023-02-23 01:29:44 +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	52aa5481e8	Мощное обновление (тема lush будет настроена позже)	2023-02-12 20:48:16 +10:00