# # robots.txt by J.K.Choi 9/14/99 # # to allow all html directories searched by robots # User-agent: * Disallow: