Make it possible to override the complete path to the INDEX file used
for the ports/ part of the website, by setting the PINDEX_OVERRIDE
variable.
Description
Description
Details
Details
- Provenance
simon Authored on Sep 25 2004, 11:59 AM - Parents
- R9:8125841e9949: Add more ports counts.
- Branches
- Unknown
- Tags