# Robots control file for duikvereniging-oke.nl
User-agent: *