log src/fileio.c @ 5779:e9d0228c5671

age author description
Thu, 16 Jan 2014 21:03:03 +0000 Aidan Kehoe Use a larger buffering size in #'copy-file too.
Thu, 16 Jan 2014 20:26:27 +0000 Aidan Kehoe Increase READ_BUF_SIZE, used in #'insert-file-contents-internal, to #x10000