Skip to content

Commit 87ada31

Browse files
MatthewFluetMatthewFluet
committed
Merge branch 'master' of github.com:MLton/mlton into upstream-merge
2 parents dfddbd5 + e9f6cf4 commit 87ada31

File tree

358 files changed

+22718
-17369
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

358 files changed

+22718
-17369
lines changed

‎.gitignore

+2-3
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
1+
/boot/
12
/build/
23
/install/
3-
4-
# created by a failed build
5-
/tmp*
4+
mlton-*.tgz

‎LICENSE

+1-1
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ license. Send comments and questions to MLton@mlton.org.
77

88
MLton COPYRIGHT NOTICE, LICENSE AND DISCLAIMER.
99

10-
Copyright (C) 1999-2019 Henry Cejtin, Matthew Fluet, Suresh
10+
Copyright (C) 1999-2020 Henry Cejtin, Matthew Fluet, Suresh
1111
Jagannathan, and Stephen Weeks.
1212
Copyright (C) 1997-2000 by the NEC Research Institute
1313

0 commit comments

Comments
 (0)