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

rAKA/.arclint
09f92b90ea34bugfixes/41-group-not…

.arclint
View Options

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