diff options
| author | Jim Fehrle | 2020-01-17 23:34:05 -0800 |
|---|---|---|
| committer | Jim Fehrle | 2020-02-24 18:40:16 -0800 |
| commit | 45a249cf495be786d15a5d7d3b51001c84f74dee (patch) | |
| tree | 85747a11de94a8b0b06e616b421ba3380952b24d /plugins/syntax/float_syntax.ml | |
| parent | da984ceafbb450dc5a9fe8f8971d8c90a060f233 (diff) | |
Allow multiple indexed names on a single .. cmd::, etc.
Diffstat (limited to 'plugins/syntax/float_syntax.ml')
0 files changed, 0 insertions, 0 deletions