coq - The formal proof system

Age	Commit message (Collapse)	Author
2018-06-04	Make whitespace linter not check for trailing newlines.	Gaëtan Gilbert
	git does not know how to fix this automatically when they appear by removing a chunk of text at the end of the file. eg ``` foo bar ``` to ``` foo ```
2018-03-13	Enable whitespace checking for new Sphinx file extensions.	Gaëtan Gilbert

2018-03-01	Harden gitattributes against core.whitespace configuration.	Gaëtan Gilbert

2017-11-20	Disable whitespace linter for .out files.	Gaëtan Gilbert

2017-10-25	Add linter.	Gaëtan Gilbert

2017-10-05	Shorten the .gitattributes file.	Théo Zimmermann
	.dir-locals.el can be useful for users of the tarballs as well, and TODO doesn't exist anymore.
2015-03-16	gitattributes: add `.mailmap` file to the list of files excluded from the ↵	Arnaud Spiwack
	`.tar.gz`.
2015-03-16	Gitattributes file added to generate archive.	Guillaume Claret
	Cherry-picked from v8.4 ( c1aabb104122ead02fa289339a42815373338222 ).