diff options
| author | Pierre-Marie Pédrot | 2015-03-16 20:00:40 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-03-16 21:31:46 +0100 |
| commit | 1cc84ee8e98c59c685215c938c0bd123a6034b8f (patch) | |
| tree | d72d69746acc0c525dbf46aab683622d59af7f6b /plugins/syntax/string_syntax_plugin.mllib | |
| parent | c8d143654489d9ae7295095a9e5e17cf89118b7a (diff) | |
More invariants in Library.
We explicit the fact that we only need the name of the library in most of the
summaries.
Diffstat (limited to 'plugins/syntax/string_syntax_plugin.mllib')
0 files changed, 0 insertions, 0 deletions