diff options
| author |  ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-05-05 23:06:42 +0000 |
|---|---|---|
| committer | ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-05-05 23:06:42 +0000 |
| commit | 5802ce89dce64be3561a381dc58fb73c6ab07e95 (patch) | |
| tree | 8fce8c1d507b130c15ef6fb265d6663ff110848b /ide/coqide_ui.ml | |
| parent | 94ec4de7e0637aa1f11eb423f5769d9a8e44ed6a (diff) | |
Hack to handle trailing whitespace display in CoqIDE
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15279 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/coqide_ui.ml')
0 files changed, 0 insertions, 0 deletions