1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-05 01:55:52 +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 - Fix a segfault on startup 2013-02-08 08:24:18 +00:00
distinfo
Makefile - Fix a segfault on startup 2013-02-08 08:24:18 +00:00
pkg-descr