4 Commits

Author	SHA1	Message	Date
Arsen Mirzaev Tatyano-Muradovich	1e969b43a0	even cooler	2025-12-18 23:12:43 +07:00
Arsen Mirzaev Tatyano-Muradovich	3c21e12bf3	from packer to lazy	2025-12-17 21:32:34 +07: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