diff options
| author | Pierre-Marie Pédrot | 2015-03-17 11:40:03 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-03-23 11:37:56 +0100 |
| commit | 3646aea90ae927af9262e994048a3bd863c57839 (patch) | |
| tree | d7544f241d82d8d94eed6a687a46b5de35606ac3 /plugins/syntax/string_syntax_plugin.mllib | |
| parent | 38708b54882cf5c9de205711b3a962a0febc2e8c (diff) | |
Dedicated type for on-demand objects in Library.
Diffstat (limited to 'plugins/syntax/string_syntax_plugin.mllib')
0 files changed, 0 insertions, 0 deletions