9f3d099422
1) added -ip "ignore port" command line option and the same for pm-020.conf 2) if a port fails to build, port manager now instead of failing, adds it to ignore.db then continues PR: ports/76529 Submitted by: maintainer
2 lines
107 B
Text
2 lines
107 B
Text
MD5 (portmanager-0.2.4.tar.gz) = 2264d957c50070045c1da17184435a51
|
|
SIZE (portmanager-0.2.4.tar.gz) = 393458
|