diff options
| author | Christian Grothoff <christian@grothoff.org> | 2016-05-05 15:03:43 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2016-05-05 15:03:43 +0200 |
| commit | 6040adab4fa2e31f0df1503b9d2ef8c4ae0e1899 (patch) | |
| tree | c725e2796f2d30c4f1abf1124e64138aa4a3fbf5 /configure.ac | |
| parent | 6b1f4904ef011760f2a5c30698ab62652594fa6c (diff) | |
fixing #4461
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions