1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-01 22:05:08 +00:00
Commit Graph

2 Commits

Author SHA1 Message Date
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