diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-11-26 23:11:47 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-11-26 23:11:47 +0100 |
| commit | f5a22dec2bee961d852e242b8eed561c178a801f (patch) | |
| tree | 73cd0733ad9aee64e0466583452635d4a06c969e /doc/top.texi | |
| parent | 9aedb7dd472ca9d842ea2a6b9c412c66e3d2b849 (diff) | |
| download | geiser-f5a22dec2bee961d852e242b8eed561c178a801f.tar.gz geiser-f5a22dec2bee961d852e242b8eed561c178a801f.tar.bz2 | |
A couple of uses of intern replaced by make-symbol
These ones seem safe: the resulting symbol is not compared for
equality anywhere.
Diffstat (limited to 'doc/top.texi')
0 files changed, 0 insertions, 0 deletions