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

rAKA/.arclint
7ccec4e8c546bugfixes/coverage-not…

.arclint
View Options

	{
	"linters": {
	"format": {
	"type": "clang-format",
	"include": [
	"(\\.cc$)",
	"(\\.hh$)"
	],
	"exclude": "(^third-party/)"
	},
	"merges": {
	"type": "merge-conflict"
	}
	}
	}