diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-11-19 16:19:47 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-19 16:19:47 +0100 |
| commit | 992a40a50dc886ba29a907360374b18f1cbeaebb (patch) | |
| tree | b6bfddb3b0d4ddfe54481c17bd997e8571a0c441 /doc/tools/makemd.py | |
| parent | 9107357c8dfda98c5adb33d3c5f4a7be1996fa07 (diff) | |
| parent | 63b1a096eb17fd52cd46c36177e5158dce54a60a (diff) | |
Merge pull request #12961 from eska014/platform-doc
Facilitate documenting platform-exclusive classes
Diffstat (limited to 'doc/tools/makemd.py')
0 files changed, 0 insertions, 0 deletions