chiark / gitweb /
fileio: in envfiles, do not skip lines following empty lines