diff options
| author | regisgia | 2012-12-07 14:30:29 +0000 |
|---|---|---|
| committer | regisgia | 2012-12-07 14:30:29 +0000 |
| commit | 2457d1f320a48bbf7927122fed811731c5d62656 (patch) | |
| tree | 1d8856f34a865afd47cee1fa91ae8664a41ad517 /plugins/syntax | |
| parent | 7b09d2539a3ffa66017f44d0fcf0ca67fc5bcb6b (diff) | |
* lib/Envars:
Beautify.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16031 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins/syntax')
0 files changed, 0 insertions, 0 deletions