* src/fileio.c (Ffile_executable_p): Doc tweak.
authorGlenn Morris <rgm@gnu.org>
Sun, 11 May 2014 02:30:57 +0000 (19:30 -0700)
committerGlenn Morris <rgm@gnu.org>
Sun, 11 May 2014 02:30:57 +0000 (19:30 -0700)
commit970fd40117f1af062578da2432fafa267893f838
tree992f9de9512032940bcba4e7582e3f1fe93a0812
parent0add0959909b850c862a2b7bd59768c200147f56
* src/fileio.c (Ffile_executable_p): Doc tweak.
src/ChangeLog
src/fileio.c