openbsd-ports/education
2022-04-01 17:18:15 +00:00
..
algotutor drop RCS Ids 2022-03-11 18:58:50 +00:00
anki anki port tweaks: 2022-03-16 23:09:47 +00:00
drgeo sync WANTLIB 2022-04-01 17:18:15 +00:00
drgeo-doc drop RCS Ids 2022-03-11 18:58:50 +00:00
dvorak7min drop RCS Ids 2022-03-11 18:58:50 +00:00
epte drop RCS Ids 2022-03-11 18:58:50 +00:00
gamgi drop RCS Ids 2022-03-11 18:58:50 +00:00
gtypist drop RCS Id from all ports where I'm listed as MAINTAINER 2022-03-08 14:27:46 +00:00
verbiste drop RCS Id from all ports where I'm listed as MAINTAINER 2022-03-08 14:27:46 +00:00
Makefile drop rcs id in category Makefiles 2022-03-09 16:18:03 +00:00