Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
WIP: Update noweb (and icon-lang) #53734
Motivation for this change
Most notable (to me, anyway) are the performance increase and the autodefs.
added a commit
this pull request
Jan 15, 2019
Ok, so there seems to be some problem with icon-lang, maybe. When I clone the repos and build icon and noweb manually. All is well. Any advice?