don't rewrite log at end if nothing appended
[diohsc.git] / tools / 
tree26bc545e0dcf712380b3ec81ce2e93a89241858c
drwxr-xr-x   ..
-rwxr-xr-x 1390 gmi2html.sed
-rwxr-xr-x 444 gmi2md.sed