(double_dollars): New function.
authorRichard M. Stallman <rms@gnu.org>
Thu, 20 Jan 1994 23:50:37 +0000 (23:50 +0000)
committerRichard M. Stallman <rms@gnu.org>
Thu, 20 Jan 1994 23:50:37 +0000 (23:50 +0000)
commit6e710ae59134aa8c6d31b4069301224818504dde
tree48971f4b9cefd457410f52bcd03fcfd0c47c00ef
parent364a6ae392d6a66039dd280d0e2fe38cfb4fe48c
(double_dollars): New function.
(Fread_file_name_internal): Use double_dollars.
(Fread_file_name): Likewise.
src/fileio.c