aboutsummaryrefslogtreecommitdiff
path: root/plugins
diff options
context:
space:
mode:
authorClément Pit-Claudel2020-05-05 07:57:06 -0400
committerClément Pit-Claudel2020-05-05 07:57:06 -0400
commitf4532cf12ce96a6e60115641356582ff44ea525f (patch)
tree893792a3ea88d0028e4d9a46f9b26be93e6c63d9 /plugins
parent109cab944287e57c0fd8395c0bff8c2409e9f5c9 (diff)
parentd4d0b9dbab2dfe22aea94d03777b426f04b05b0d (diff)
Merge PR #12252: [refman] Add missing (only parsing) to example of compat notations.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions