fixed the portfile

Authored by meikm on Apr 5 2018, 4:32 PM.

Description

fixed the portfile

Details

Committed
meikmApr 5 2018, 4:32 PM
Parents
R5:92c5fc7ed04f: fixed replace_port.sh
Branches
Unknown
Tags
Unknown