diff options
Diffstat (limited to 'lang/sml-nj-devel/files/plist-cml')
| -rw-r--r-- | lang/sml-nj-devel/files/plist-cml | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/lang/sml-nj-devel/files/plist-cml b/lang/sml-nj-devel/files/plist-cml deleted file mode 100644 index 4f6fb60760b1..000000000000 --- a/lang/sml-nj-devel/files/plist-cml +++ /dev/null @@ -1,12 +0,0 @@ -smlnj/lib/cml/CM/%%MLARCH%%-unix/basis.cm -smlnj/lib/cml/CM/%%MLARCH%%-unix/cml-internal.cm -smlnj/lib/cml/CM/%%MLARCH%%-unix/cml.cm -smlnj/lib/cml/CM/%%MLARCH%%-unix/core-cml.cm -smlnj/lib/cml-lib/CM/%%MLARCH%%-unix/smlnj-lib.cm -smlnj/lib/cml-lib/CM/%%MLARCH%%-unix/trace-cml.cm -@dirrm smlnj/lib/cml/CM/%%MLARCH%%-unix -@dirrm smlnj/lib/cml/CM -@dirrm smlnj/lib/cml -@dirrm smlnj/lib/cml-lib/CM/%%MLARCH%%-unix -@dirrm smlnj/lib/cml-lib/CM -@dirrm smlnj/lib/cml-lib |