diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2017-08-05 09:18:51 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2017-08-05 09:18:51 +0200 |
| commit | 0538b31ec17a17ec1962339b11e2c5540da72550 (patch) | |
| tree | 4fbf3d9244942e4214b39af152fb1d636888533c /bootstrap | |
| parent | 839ce3f20206dcdc0e2c1ab04f9a40bad0b87302 (diff) | |
Fix bug in non-installation of generated option headers
Diffstat (limited to 'bootstrap')
0 files changed, 0 insertions, 0 deletions