source: trunk/dports/_resources @ 82386

Name Size Rev Age Author Last Change
../
port1.0 82386   8 years jmr python portgroup: be less clever in checking if a stub should be set …
Note: See TracBrowser for help on using the repository browser.