diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-08-30 12:09:56 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-08-30 12:11:43 +0200 |
| commit | f0a85b61cce59e55675df0ba6c9297166d757ce0 (patch) | |
| tree | 9ba9711120c2035f5534880a579ed6a5d1abf12f /INSTALL.ide | |
| parent | 7b1ff0c70a3ba9cd3cfa5aa6723f8f8a2b6e5396 (diff) | |
Fixing a capitalization in the middle of the sentence of an error message.
Diffstat (limited to 'INSTALL.ide')
0 files changed, 0 insertions, 0 deletions