coq/.gitattributes, branch master

Introduce doc_gram, a utilty for extracting Coq's grammar from .mlg files

2019-07-19T16:50:31+00:00

and inserting it into the .rst files

Create categories in changelog.

2019-05-05T17:23:27+00:00

Fix gitattributes for Makefile.dune

2019-02-26T12:28:20+00:00

Since it matches *.dune and Makefile* the later needs to come second
in the gitattributes file.

Enable whitespace checking for some forgotten files.

2019-02-20T15:39:52+00:00

+ remove checker/.depend forgotten file

Fix line ending issues

2018-12-20T13:08:26+00:00

Try to mimick MSoegtropIMC
(https://github.com/coq/coq/pull/9243#issuecomment-448968353 )

Fix git line ending conversion in windows

2018-12-17T13:49:32+00:00

Make whitespace linter not check for trailing newlines.

2018-06-04T14:34:55+00:00

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

```

Enable whitespace checking for new Sphinx file extensions.

2018-03-13T22:48:06+00:00

Harden gitattributes against core.whitespace configuration.

2018-03-01T17:45:34+00:00

Disable whitespace linter for .out files.

2017-11-20T10:36:41+00:00