diff options
author | Vladimir Druzenko <vvd@FreeBSD.org> | 2024-06-12 00:21:25 +0000 |
---|---|---|
committer | Vladimir Druzenko <vvd@FreeBSD.org> | 2024-06-12 00:49:01 +0000 |
commit | 4a6da663260a9733d3961280a0435d85ded9348c (patch) | |
tree | f7431447ade55b857aaf9c8b17bcab1190f1d3c0 /devel/devtodo/(developers-only) | |
parent | b5b4b67baf4bcc3e267da74fb6e4d8a69c1673d5 (diff) | |
download | ports-main.tar.gz ports-main.zip |
While here remove GNU_CONFIGURE_MANPREFIX and pet portclippy.
Approved by: lbartoletti (former maintainer, via IRC)
Diffstat (limited to 'devel/devtodo/(developers-only)')
0 files changed, 0 insertions, 0 deletions