coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Enable whitespace checking for new Sphinx file extensions.	Gaëtan Gilbert	2018-03-13
\|
*	Harden gitattributes against core.whitespace configuration.	Gaëtan Gilbert	2018-03-01
\|
*	Disable whitespace linter for .out files.	Gaëtan Gilbert	2017-11-20
\|
*	Add linter.	Gaëtan Gilbert	2017-10-25
\|
*	Shorten the .gitattributes file.	Théo Zimmermann	2017-10-05
\| \| \| \| \|	.dir-locals.el can be useful for users of the tarballs as well, and TODO doesn't exist anymore.
*	gitattributes: add `.mailmap` file to the list of files excluded from the ↵	Arnaud Spiwack	2015-03-16
\| \| \| \|	`.tar.gz`.
*	Gitattributes file added to generate archive.	Guillaume Claret	2015-03-16
	Cherry-picked from v8.4 ( c1aabb104122ead02fa289339a42815373338222 ).