diff options
| author | ruki <[email protected]> | 2019-01-18 00:55:51 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2019-01-17 23:35:07 +0800 |
| commit | 7fc558e7cb19a55ac78950589810d845ae6e77c3 (patch) | |
| tree | 80253bc06bd854b5c10c11be9338fca9e3dfa37d /scripts | |
| parent | eb91261789a1f11e9114709571b11a918902a819 (diff) | |
fix headerfiles without the install directory
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions