# Robots.txt file
# Dominio: http://www.gig.etsii.upm.es

# All robots will spider the domain
User-agent: *
Disallow:

# Disallow directory virtualdisk
User-agent: *
Disallow: virtualdisk

# Disallow directory citef
User-agent: *
Disallow: citef