editors/mined: make fetchable again
Tarball has been rerolled: take it from GitHub.
Also move the manpages.
Description
Description
Details
Details
- Provenance
thierry Authored on Jan 30 2024, 6:19 PM - Parents
- R11:31a486304d64: deskutils/pinot: move manpages
- Branches
- Unknown
- Tags