mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-18 03:46:03 +00:00
f2570d4f04
gnometools.py. whrandom has been deprecated in favor of random. This patch simply uses a REINPLACE_CMD to replace whrandom with random. PR: ports/117793 Submitted by: Chess Griffin <chess@chessgriffin.com> Approved by: maintainer timeout (1 month) |
||
---|---|---|
.. | ||
files | ||
distinfo | ||
Makefile | ||
pkg-descr | ||
pkg-plist |