site_opytex/theme/node_modules/pretty-hrtime/.jshintignore