diff options
| author | Heinenen <37484430+Heinenen@users.noreply.github.com> | 2023-12-30 14:01:05 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-30 13:01:05 +0000 |
| commit | c27b9e2b0fad9fa3c68837ba12f0b32774daaf67 (patch) | |
| tree | fc8ce0fe1399d61370c3a42de415f2c415ebc907 /tools | |
| parent | c4d9b0c3d8d2cf895137d2047e597fd3e24e0104 (diff) | |
Don't allow nested line comment inside block comment (#3048)
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions