diff options
author | Christopher Haster <chaster@utexas.edu> | 2019-08-09 02:50:40 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-08-09 02:50:40 +0300 |
commit | 494dd6673d008c03e3199b24af7bff0fe82017f1 (patch) | |
tree | 32328cf901dd15e8058d954e5ce850aa9d0176de /DESIGN.md | |
parent | fce2569005da243d583830761a98f01e65e3ba78 (diff) | |
parent | 303ffb2da4786ea29e4f928a47465d2784a71790 (diff) |
Merge pull request #263 from rojer/wundefv2.1.1
Fix build with -Wundef
Diffstat (limited to 'DESIGN.md')
0 files changed, 0 insertions, 0 deletions