diff options
| author | Pierre Letouzey | 2015-01-10 12:10:13 +0100 |
|---|---|---|
| committer | Pierre Letouzey | 2015-01-11 09:56:39 +0100 |
| commit | ee596bc23be6a95f939169cc8daa132a2c172bbd (patch) | |
| tree | b985418e1a9b75e6c054cf9571b572ea0ed04c6e /plugins/syntax/z_syntax_plugin.mllib | |
| parent | edf85b925939cb13ca82a10873ced589164391da (diff) | |
Extraction: discard code unnecessary to fulfill a module signature
Diffstat (limited to 'plugins/syntax/z_syntax_plugin.mllib')
0 files changed, 0 insertions, 0 deletions