1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-10-31 21:57:12 +00:00
Commit Graph

3 Commits

Author SHA1 Message Date
Steve Price
d394306673 Update to version 1.07.
PR:		5252, 5375
Submitted by:	maintainer
1998-02-21 15:49:46 +00:00
Thomas Gellekum
7a9d7874de Install reference manuals.
PR:		4667
Submitted by:	Ian Vaudrey <i.vaudrey@cableinet.co.uk>
1997-11-18 12:31:09 +00:00
Satoshi Asami
378a074c28 Objective Caml.
Submitted by:	(Kiriyama Kazuhiko) <kiri@kiri.toba-cmt.ac.jp>
1997-01-03 11:25:47 +00:00