Commit eacb9306c03ad97053865eadb07fb9ae709951c0

Werner Lemberg 2002-10-07T10:12:43

Formatting; adding file headers.