diff options
| author | David Aspinall | 2007-12-10 11:19:09 +0000 |
|---|---|---|
| committer | David Aspinall | 2007-12-10 11:19:09 +0000 |
| commit | f7c083541866f7c91a7aabfb2660bb7b9440b53e (patch) | |
| tree | 97f3762089c0330276012fb7d85173455b982c05 /generic/proof-utils.el | |
| parent | 92c753a2dcd28a9ec17f0fc52ea8fdf7002fcca9 (diff) | |
Fix string quoting
Diffstat (limited to 'generic/proof-utils.el')
| -rw-r--r-- | generic/proof-utils.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 03e09b82..bbf0a921 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -789,7 +789,7 @@ or if the window is the only window of its frame." *** *** To see if your bug has been reported already, and a new ticket if not. *** To report a bug, either register yourself as a user, or use the generic account -*** username "pgemacs" with password "pgemacs" +*** username \"pgemacs\" with password \"pgemacs\" *** *** Please only continue with this email mechanism instead IF YOU REALLY MUST. *** The address is not monitored very often and quite possibly will be ignored. |