Christos' fixes for inserting the line from the shell into the file
tree853ce74daa1c74be4ca29845a8381a364025ab89
-rw-r--r-- 5762 README
drwxr-xr-x - common
drwxr-xr-x - docs
drwxr-xr-x - ex
drwxr-xr-x - vi