diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2018-06-04 10:26:38 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2018-06-04 10:26:38 +0200 |
commit | 2837bab8a84395f07f53513319b82168a68305ca (patch) | |
tree | 3aabc6b5485e876b7b2efa9d729d0c6e4d962736 /.github | |
parent | f0afda002a4faaecdddff09593ee404ea5a602b0 (diff) | |
parent | 5407d7ed952b174cba9ad7e3362d1e1b364d2178 (diff) |
Merge PR #7648: Indicate in the doc that clearbody can take several idents
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions