Add files from parent branch HEAD:
[pkgsrc.git] / lang / smlnj /
drwxr-xr-x   ..
-rw-r--r-- 258 DESCR
-rw-r--r-- 3112 Makefile
-rw-r--r-- 969 Makefile.common
-rw-r--r-- 11432 PLIST
-rw-r--r-- 4742 distinfo
drwxr-xr-x - files
drwxr-xr-x - patches