editors/with-editor-devel: Remove expired port
2025-08-31 editors/with-editor-devel: Use editors/with-editor instead
Description
Description
Details
Details
- Provenance
rene Authored on Sep 1 2025, 5:26 PM - Parents
- R11:a08037617391: devel/forge-devel: Remove expired port
- Branches
- Unknown
- Tags