diff options
| author | Ondrej Zajicek <santiago@crfreenet.org> | 2013-07-24 14:20:46 +0200 |
|---|---|---|
| committer | Ondrej Zajicek <santiago@crfreenet.org> | 2013-07-24 14:20:46 +0200 |
| commit | a0b176e3b2b50d3a30574afa927e0ee8ef65be68 (patch) | |
| tree | a0eeff301a2e522ad587345052bc963a9200c169 /tools | |
| parent | e1afee279993363ffb4a7005554d0774eb09b764 (diff) | |
Fixes header file name.
Thanks to Fritz Grimpen for the patch.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions