Commit Graph

Select branches

Hide Pull Requests

master

Mono Color

• 760612eccc col master Jan Szumotalski 2025-12-29 17:19:04 +01:00
• 8fed4ac4c4 suda Jan Szumotalski 2025-12-20 17:18:44 +01:00
• 23d7631277 config Jan Szumotalski 2025-12-20 15:09:11 +01:00
• a212829857 coq Jan Szumotalski 2025-12-10 10:27:01 +01:00
• ab9930d50f Initial commit Jan 2025-12-08 13:57:15 +01:00