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
..
extra-patch-global-names
extra-patch-signals	Fix building of SML/NJ under 4-CURRENT after 1999/7/25.	2000-01-28 06:36:13 +00:00
patch-ab	Rename ${FILISDER}/patch-* to ${FILESDIRA}/extra-patch-*. (These patches	2000-10-07 22:28:28 +00:00