Ignore web2py files.