diff options
| author | Pierre-Marie Pédrot | 2019-11-12 08:33:33 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-11-12 08:33:33 +0100 |
| commit | 2636d47bac7f31a5492100a4c13eb4fe4d932d1f (patch) | |
| tree | 9353e97ff5b4204da2a628ed683f6b5ebecea09c /dev | |
| parent | 73821fcf0cb0b87b7cf339e93ff9a5020ddd2644 (diff) | |
| parent | bb39a0238ac341c407aef9ca8e8601c75789d3b5 (diff) | |
Merge PR #11045: Forbid Include inside sections
Ack-by: Blaisorblade
Reviewed-by: gares
Reviewed-by: ppedrot
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions