1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-01 22:05:08 +00:00
freebsd-ports/lang/gnat
Tim Vanderhoek 8ce50883da The first time I tried committing this set of manpage removals it got
all the way to diffing yorick/pkg/PLIST and then died with a
"bad hostname freefall.freebsd.org" ....  Hopefully that's not bad...  ;-)

Hmm..  Maybe I'll try doing this from beast, next!  kickme's a boring
machine, and bento is busy.
1998-08-18 18:33:15 +00:00
..
files Upgrade to version 3.10p and do a little portlint cleaning. 1998-01-18 09:08:45 +00:00
distinfo Upgrade to version 3.10p and do a little portlint cleaning. 1998-01-18 09:08:45 +00:00
Makefile Remove bogus duplicate patch that I missed last time. :( 1998-01-18 15:12:38 +00:00
pkg-comment
pkg-descr Upgrade to 3.09. This port is no longer broken. 1997-09-25 08:48:00 +00:00
pkg-plist The first time I tried committing this set of manpage removals it got 1998-08-18 18:33:15 +00:00