diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2022-05-25 19:14:43 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-25 19:14:43 +0200 |
commit | 410b6b5f7d23638997aa7de3faf3b382c95e7fc3 (patch) | |
tree | 0ea85b291a6f56e9c3bab9b36427bdf204f2c550 /misc/dist/shell | |
parent | e465b72b9bca92370f8e3c63a197586d9645b6db (diff) | |
parent | 320cf5d84c6c491599dce22dce63370b69f52094 (diff) |
Merge pull request #55099 from dalexeev/desc-by-blank-line
Use blank line instead of `@desc:` for doc comments
Diffstat (limited to 'misc/dist/shell')
0 files changed, 0 insertions, 0 deletions