Commit c5230d49 authored Mar 31, 2022 by Jérôme Chauveau

ignore du dossier de documentation (généré au build).

parent 579e678d

.gitignore

+1 −0

Changes for .gitignore: 1 added line, 0 removed lines.
Original line number	Diff line number	Diff line
		@@ -7,3 +7,4 @@
		.DS_Store
		/plugins/**/.ignore
		tools/dist
		documentation
		No newline at end of file