Jean-Marc Zucconi bf93b56370 Upgrade to web2c version 7.2b		2000-01-27 21:50:19 +00:00
..
scripts	Patch the main makefile. Sometimes gmake exits(0) even if an inferior make	1999-02-03 02:45:07 +00:00
distinfo	Upgrade to web2c version 7.2b	2000-01-27 21:50:19 +00:00
Makefile	Upgrade to web2c version 7.2b	2000-01-27 21:50:19 +00:00
pkg-comment	#4/4 enforcing Caps, no period	1999-06-26 19:22:14 +00:00
pkg-descr
pkg-plist	Upgrade to web2c version 7.2b	2000-01-27 21:50:19 +00:00