Satoshi Asami 45088c8848 Rename ${FILISDER}/patch-* to ${FILESDIRA}/extra-patch-*. (These patches ... are applied from within the configure script, patched by patch-ab.)		2000-10-07 22:28:28 +00:00
..
files	Rename ${FILISDER}/patch-* to ${FILESDIRA}/extra-patch-*. (These patches	2000-10-07 22:28:28 +00:00
scripts
distinfo	Downgrade the sml-nj port to the current `release' version v110.0.6. The	2000-06-14 11:09:01 +00:00
Makefile	Downgrade the sml-nj port to the current `release' version v110.0.6. The	2000-06-14 11:09:01 +00:00
pkg-comment
pkg-descr
pkg-plist	Downgrade the sml-nj port to the current `release' version v110.0.6. The	2000-06-14 11:09:01 +00:00