{
	"ignoreDirectories": [
		"./extensions",
		"./skins",
		"./docs/coverage",
		"./docs/html",
		"./docs/js",
		"./docs/latex"
	]
}