diff options
| author | Théo Zimmermann | 2018-07-02 19:04:42 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-07-02 19:04:42 +0200 |
| commit | b7d81ff8e1c715a3fe587d6bcaa6d132647ebd30 (patch) | |
| tree | f1eedbdcc3aa8af12b9f39be2c02f16590fe1a1c /plugins | |
| parent | 0a556686f5c759e61dc740dd1b2762a077a19f40 (diff) | |
| parent | 2ecec19501ebc3c98033fe1f212e85731473e2c7 (diff) | |
Merge PR #7969: doc: typesetting and hyperlinks in Syntax Extensions
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions