diff options
| author | Diego Biurrun <diego@biurrun.de> | 2012-08-07 17:05:34 +0200 |
|---|---|---|
| committer | Diego Biurrun <diego@biurrun.de> | 2012-08-07 22:54:43 +0200 |
| commit | a2b4d1df52f3d551ebf12a2240dffe3e9c162190 (patch) | |
| tree | 242ae2ceddddd093992ab51ee56b2216e8d3f4dc /doc/platform.texi | |
| parent | dfd9159f3db987e9115715cded7a4408179e3ed9 (diff) | |
build: Remove all installed headers and header directories on uninstall
Diffstat (limited to 'doc/platform.texi')
0 files changed, 0 insertions, 0 deletions