remove empty dir
[ghc-hetmet.git] / docs / users_guide / 5-00-notes.xml