diff options
| author | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2017-05-17 16:05:07 +0200 |
|---|---|---|
| committer | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2017-05-17 16:21:58 +0200 |
| commit | 81edd3b3a78265b87c2ec6100dce852db5f40d2b (patch) | |
| tree | 15dd4f82e25f12acfc5151a8690e7fcc96423e1b /doc | |
| parent | a01e951d0fa452fea10a9faca0fbdc9c7cacff23 (diff) | |
Fix build on systems with dirty headers
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions