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