1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-01 22:05:08 +00:00
freebsd-ports/lang/sml-nj-devel/files
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
patch-ab Rename ${FILISDER}/patch-* to ${FILESDIRA}/extra-patch-*. (These patches 2000-10-07 22:28:28 +00:00