Skip to content

Commit 1733d3d

Browse files
melsmanmelsman
committed
new file
1 parent 640b0a5 commit 1733d3d

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

‎src/Tools/MlbMake/configuration.mlb

+4
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
local
2+
$(SML_LIB)/basis/basis.mlb
3+
in CONFIGURATION.sig Configuration.sml
4+
end

0 commit comments

Comments
 (0)