diff options
| author | courtieu | 2006-11-17 15:02:35 +0000 |
|---|---|---|
| committer | courtieu | 2006-11-17 15:02:35 +0000 |
| commit | 6f1a8d56bc5937c398c32256d5446447b6673940 (patch) | |
| tree | 2dadefdfe7736bf157504f8904b4577b246f7b03 /dev | |
| parent | 5554ed875c889a393fe6106c1dbb369a14d0ea38 (diff) | |
The emacs-U option now does not output *any* char above 250.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9384 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions