source: users/jmr @ 62946

Name Size Rev Age Author Last Change
../
restore_ports 62946   10 years jmr script to correctly install a list of ports with their specified variants
Note: See TracBrowser for help on using the repository browser.