deraadt 0c8a29949c socppc is gone		2019-05-11 07:22:55 +00:00
..
notes	socppc is gone	2019-05-11 07:22:55 +00:00
sets	Install more manual pages:	2019-05-10 11:44:39 +00:00