diff options
| author | Théo Zimmermann | 2019-10-29 13:01:47 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-10-29 13:01:47 +0100 |
| commit | 5370e79c1128dd96a75e3c37569daa3fd98dcd86 (patch) | |
| tree | bee4263e4bbe4c4be31c34f36f9e46aa5e08ccfd /engine | |
| parent | 412a95efec1b594e6d54ab34b930e78fb0a66eee (diff) | |
| parent | a024d7cc0e32036b2410a1dec8a90f9a392ff3f5 (diff) | |
Merge PR #10942: Describe XML tags used for highlighting diff text
Reviewed-by: Zimmi48
Diffstat (limited to 'engine')
0 files changed, 0 insertions, 0 deletions