|
|
eb72445d5c
|
more things!!!!!!
|
2025-12-20 01:57:37 +07:00 |
|
|
|
1e969b43a0
|
even cooler
|
2025-12-18 23:12:43 +07:00 |
|
|
|
422e3d1079
|
починил форматирование и добавил определение типа файла .log как json
|
2023-02-23 01:29:44 +10:00 |
|
|
|
967952b41b
|
Поддержка ru_RU
|
2023-02-14 19:40:45 +10:00 |
|
|
|
12a4e31da7
|
исправление автозагрузки coq + отключение стрелочек
|
2023-02-14 07:58:56 +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 |
|
