 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
|
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 |
|