.. |
9libs
|
c0cd71794c
no relevant formatting differences, drop USE_GROFF and bump;
|
7 years ago |
9menu
|
6bb8d0674b
Drop USE_GROFF from ports where the formatting differences are acceptable
|
9 years ago |
9wm
|
570aa62a9c
Drop remaining MD5/RMD160/SHA1 checksums.
|
10 years ago |
devdrawserver
|
8d860230fd
adjust distinfo post DISTFILES change
|
7 years ago |
drawterm
|
431b2fcf2a
Update to drawterm-20170319
|
7 years ago |
larswm
|
97889e162c
switch my distfiles mirror to https
|
9 years ago |
plan9port
|
2d0a2b694a
update to latest github commit
|
7 years ago |
rc
|
458799d491
Remove maintainer per his request.
|
8 years ago |
sam
|
fafc8f8e0e
fix errno declaration
|
8 years ago |
tcs
|
c6299e5727
Drop USE_GROFF: trivial page footer difference only.
|
10 years ago |
u9fs
|
ed618bc3e7
New email for MAINTAINER
|
8 years ago |
w9wm
|
570aa62a9c
Drop remaining MD5/RMD160/SHA1 checksums.
|
10 years ago |
wily
|
6e875c50a5
Update mirrors.
|
9 years ago |
Makefile
|
83abf7e7af
+devdrawserver
|
9 years ago |