diff options
| author | Pierre-Marie Pédrot | 2019-12-31 12:08:45 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-12-31 12:08:45 +0100 |
| commit | f1bcfcb3d62d4c0b709d70c82b40bf4d4e0b6c11 (patch) | |
| tree | ed53bbd5ce79bc315032c28c16bcc906ea8e6d4e /dev | |
| parent | 37254871c8e5ece576af7efddc20a9ed7f197e04 (diff) | |
| parent | 2885e5148d155e0db542c66d4257131aef55f75c (diff) | |
Merge PR #11325: [refman] Add missing s.
Reviewed-by: jfehrle
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions