* fileio.c (Finsert_file_contents): Remove unused local.
authorPaul Eggert <eggert@cs.ucla.edu>
Fri, 31 May 2013 01:31:10 +0000 (18:31 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Fri, 31 May 2013 01:31:10 +0000 (18:31 -0700)
commit0e64479a3aa321a1a44e2057eebbf5c378b7ad5c
treedbb89943f78ed89b1c856faa125b7238cec87f5a
parent01dea85f7b9a064ceafefd6e2940566da0530fb4
* fileio.c (Finsert_file_contents): Remove unused local.

Fixes: debbugs:8447
src/ChangeLog
src/fileio.c