Diffusion akantu (bugfixes/coverage-not-run-properly-anymore) Browse

rAKA/.arclint
74233cffde18bugfixes/coverage-not…

.arclint
View Options

	{
	"linters": {
	"format": {
	"type": "clang-format",
	"include": [
	"(\\.cc$)",
	"(\\.hh$)"
	],
	"exclude": "(^third-party/)"
	},
	"python": {
	"type": "flake8",
	"include": [
	"(\\.py$)"
	],
	"exclude": "(^third-party/)",
	"severity.rules": {
	"(^E)": "error",
	"(^W)": "warning",
	"(^F)": "advice"
	}
	},
	"merges": {
	"type": "merge-conflict"
	}
	}
	}