diff options
| author | Clément Pit-Claudel | 2018-10-10 15:47:52 -0400 |
|---|---|---|
| committer | Clément Pit-Claudel | 2018-10-10 15:47:52 -0400 |
| commit | 553728ed08468af6601455af5bcbd9412656ff72 (patch) | |
| tree | fbcba187cbaf6c61e2e239713b92922783b88efb /plugins/syntax | |
| parent | 040ad198e38776bb9f398329243b2fe41434f2d5 (diff) | |
| parent | ff0c9e46b0deb3d790156f7037d744cae326fda0 (diff) | |
Merge PR #8384: Small fixes in attribute documentation.
Diffstat (limited to 'plugins/syntax')
0 files changed, 0 insertions, 0 deletions