source: trunk/dports/editors/jove @ 3179

Name Size Rev Age Author Last Change
../
files 2311   17 years michaelm new port: Jove. Bug: 387 Submitted by: vivek@… Reviewed by: …
Portfile 777 bytes 3179   17 years jkh s/destroot.vars/destroot.destdir/ It's also an imperfect name, but …
Note: See TracBrowser for help on using the repository browser.