diff options
| author | regisgia | 2013-09-02 09:20:57 +0000 |
|---|---|---|
| committer | regisgia | 2013-09-02 09:20:57 +0000 |
| commit | 3ea0f070e68af32a696a859b3c863dbd2d4f8a4f (patch) | |
| tree | 9e8b558c3960bab0c8975335a3a84ef7fe603a53 /dev | |
| parent | 18c3b336781e2c248a44ff9209cb8bf7eb5f38a3 (diff) | |
* configure: Remove trailing space.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16753 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions