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 | 96610db57a61d5380eeeb3b4780846c39fb79422 (patch) | |
| tree | cfdffb1607da93344d4936b9438033783aa3270b /INSTALL | |
| parent | 88c56a06fd1d006f1d41dfce16c89da79e03bb5b (diff) | |
| download | geiser-chez-96610db57a61d5380eeeb3b4780846c39fb79422.tar.gz geiser-chez-96610db57a61d5380eeeb3b4780846c39fb79422.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 'INSTALL')
0 files changed, 0 insertions, 0 deletions