diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-04-26 05:53:40 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-04-27 21:55:49 +0200 |
| commit | e0fd6e50800bc5aec4eafddd315941d6f7bc6efc (patch) | |
| tree | b5897285efc7ee315cbff859294413ecca2c5522 /configure | |
| parent | 46f876a9404844487476415af2e6f6d938558d15 (diff) | |
Fixing space in an error message.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions