mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-14 03:10:47 +00:00
Code Issues Releases Activity
e75d5041c4
freebsd-ports/lang/polyml
History
Mathieu Arnold 2884d5aa32 Fixup USE_GITHUB usage. 
It already sets DISTNAME to a very nice unique name, do not set it
yourself.

Sponsored by:	Absolight
2016-11-26 10:09:54 +00:00
..
distinfo Fixup USE_GITHUB usage. 2016-11-26 10:09:54 +00:00
Makefile Fixup USE_GITHUB usage. 2016-11-26 10:09:54 +00:00
pkg-descr
pkg-plist