Opened 21 years ago

Closed 21 years ago

Last modified 21 years ago

#1237 closed defect (fixed)

BUG: Portname: mapm vs. mapm3

Reported by: mww@… Owned by: michaelm@…
Priority: Normal Milestone:
Component: ports Version: 1.0
Keywords: Cc:
Port:

Description

BUG: Portname: mapm vs. mapm3

inconsistency in portname vs. name of directory that contains Portfile

Change History (1)

comment:1 Changed 21 years ago by toby@…

Resolution: → fixed
Status: new → closed

Committed a fix.

Note: See TracTickets for help on using tickets.