diff options
| author | Hugo Herbelin | 2019-11-12 22:09:07 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2020-02-19 21:09:07 +0100 |
| commit | 8364b7fea91a11ad07d94057f3a5a938b9524d81 (patch) | |
| tree | 016e7702619652adc06af93ab3c1dff1c2558ac5 /plugins/syntax/string_notation.ml | |
| parent | 039b2423cf7b85f2f5960dde6a1586f0f07cf9d0 (diff) | |
Short allusion in refman on the existence of a generic and specific format.
Diffstat (limited to 'plugins/syntax/string_notation.ml')
0 files changed, 0 insertions, 0 deletions