Default Branch

master 3f5637366e · Sanitize / in kit-ipd heading hierarchy · Updated 2025-10-30 20:19:37 +01:00

ZIP  TAR.GZ

Branches

latest 465f8b28c0 · Bump version to 3.8.3 · Updated 2025-07-01 14:28:30 +02:00	15 0	Included	ZIP  TAR.GZ
debug/dump-html-in-login f0e56a8e12 · Dump html after login failure · Updated 2025-05-09 11:37:34 +02:00	21 1		ZIP  TAR.GZ
fix/exercises-with-instructions dd2fedf1a2 · Fix crawling of exercises with instructions · Updated 2025-04-29 18:30:33 +02:00	22 1		ZIP  TAR.GZ
debug/windows-links 4af02012bc · Strip long path prefix from file links in report · Updated 2024-11-14 20:06:13 +01:00	42 1		ZIP  TAR.GZ
debug/mtime-error-22 03efa17cf1 · Print mtime before updating file metadata · Updated 2023-09-23 13:01:58 +02:00	95 1		ZIP  TAR.GZ
sequential bf27f4a686 · TODO · Updated 2023-04-19 10:13:36 +02:00	110 10		ZIP  TAR.GZ
update-checks 2d145e7c94 · Check for new versions at startup · Updated 2022-10-24 17:31:34 +02:00	126 1		ZIP  TAR.GZ
v2 cccd68e04a · Bump version to v2.6.2 · Updated 2021-04-29 00:18:26 +02:00	464 3		ZIP  TAR.GZ