diff options
author | notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-09-28 17:44:35 +0000 |
---|---|---|
committer | notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-09-28 17:44:35 +0000 |
commit | 5865dad7bae73b13096a62e3657b02e13771524a (patch) | |
tree | 1b6f0885daa06559697914bb279a824d9e74f9b9 /contrib/setoid_ring | |
parent | ee38b617146ad8b6b2e318e3037688f6008556f2 (diff) |
Suppression des lignes vides dans l'affichage des scripts
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9186 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'contrib/setoid_ring')
0 files changed, 0 insertions, 0 deletions