diff options
| author | Théo Zimmermann | 2017-05-03 10:23:46 +0200 |
|---|---|---|
| committer | GitHub | 2017-05-03 10:23:46 +0200 |
| commit | 4a84961049f4f00897ae72a13954edbcc9aaba5e (patch) | |
| tree | 00b0a1fb7cf66d4bf6fd096e23fc177ed38a7b95 /API | |
| parent | 510701319b1b0420698e411e24022a0fbec7c36c (diff) | |
Fix outdated description in RefMan.
Diffstat (limited to 'API')
0 files changed, 0 insertions, 0 deletions