If a file insertion doesn't insert any data, don't do any of the
authorChris Hanson <org/chris-hanson/cph>
Tue, 2 May 1995 20:49:06 +0000 (20:49 +0000)
committerChris Hanson <org/chris-hanson/cph>
Tue, 2 May 1995 20:49:06 +0000 (20:49 +0000)
commit40fe813f8cb88c89424104c6e544f1fd617bbbe1
tree0de55d93037c582d5093864a48e8214dfba85173
parent80f0e0d0e5a1ffd05b9783e70bb3246401bda7a0
If a file insertion doesn't insert any data, don't do any of the
post-processing that sets the modification bit, etc.
v7/src/edwin/fileio.scm