search for: 1430edb

Displaying 1 result from an estimated 1 matches for "1430edb".

Did you mean: aa430edb
2016 Feb 23
7
[PATCH 0/4] Various tweaks to the generator.
Use interfaces files (*.mli files) instead of exporting all symbols randomly. Change the 'file is generated' warnings at the top of generated files so they accurately describe which source file generates each output file. Rich.