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

rAKA/.arclint
1422395dd95bbugfixes/41-group-not…

.arclint
View Options

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