1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-26 00:55:14 +00:00
freebsd-ports/lang/polyml
Martin Wilke 3281c9daf4 - Fix a segfault on startup
- While here trim header

PR:		ports/173446
Submitted by:	Imre Vadasz <imre@vdsz.com>
Approved by:	maintainer
2013-02-08 08:24:18 +00:00
..
files
distinfo
Makefile
pkg-descr