diff options
| author | Paul Steckler | 2017-12-01 16:13:06 -0500 |
|---|---|---|
| committer | Paul Steckler | 2017-12-01 16:14:31 -0500 |
| commit | 2b4ed9b34e3852df7582f2a084274340113194e4 (patch) | |
| tree | c7ca2e22071dbfa36bbcc7c0a4d07a01c73b76ac /dev/include | |
| parent | 0048cbe810c82a775558c14cd7fcae644e205c51 (diff) | |
uninstall doc dir, not dev (which is not installed), #6007
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions