mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-14 23:46:10 +00:00
4505792289
PR: ports/7143 Submitted by: Andrey Zakhvatov <andy@icc.surw.chel.su>
3 lines
58 B
Bash
3 lines
58 B
Bash
#! /bin/sh
|
|
exec %%PREFIX%%/bin/pp.bin %%PREFIX%%/share/pp
|