Diffusion akantu (bugfixes/41-group-not-properly-updated-when-cohesive-elements-are-inserted) Browse

rAKA/.arclint
ecfeb6b962e3bugfixes/41-group-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"
	}
	}
	}