aboutsummaryrefslogtreecommitdiff
path: root/NEWS
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2017-08-05 09:18:51 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2017-08-05 09:18:51 +0200
commit0538b31ec17a17ec1962339b11e2c5540da72550 (patch)
tree4fbf3d9244942e4214b39af152fb1d636888533c /NEWS
parent839ce3f20206dcdc0e2c1ab04f9a40bad0b87302 (diff)
Fix bug in non-installation of generated option headers
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions