diff options
| author | Maxime Dénès | 2019-07-08 16:23:52 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2019-09-16 09:56:58 +0200 |
| commit | a1abebc904e0931d896006fa67dc39bd1ca9e680 (patch) | |
| tree | dae7f22677cd2725dca7d21d872045a204049544 /library/libobject.ml | |
| parent | 427065e815266084e4b03f7a2a75bf562eba775e (diff) | |
Optimize module Exports
This should compensate the removal of the library-level optimization,
while maintaining correct behavior.
Diffstat (limited to 'library/libobject.ml')
0 files changed, 0 insertions, 0 deletions