diff options
author | Vladimir Azarov <avm@intermediate-node.net> | 2025-03-22 01:45:46 +0100 |
---|---|---|
committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-03-22 01:45:46 +0100 |
commit | 9ed6d5386bcc9ad8a8e73b481d41fcaea80adaad (patch) | |
tree | 81869c0ad2bb1d64f21323ce8a3f07a64fc451e9 /cpp.mlb |
Initial version
Diffstat (limited to 'cpp.mlb')
-rw-r--r-- | cpp.mlb | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -0,0 +1,6 @@ +ann + "allowRecordPunExps true" +in + $(SML_LIB)/basis/basis.mlb + cpp.sml +end |