diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-10-05 15:29:30 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-10-05 15:29:41 +0200 |
| commit | 248fffe64ee42137822ba438dfb378defbe1aa05 (patch) | |
| tree | 6eb25b6e7211058d870e5920f0159a37e622e6a6 /.gitattributes | |
| parent | 8b5f7ad0722e5ed1b87589ae103a1c4c5974416f (diff) | |
Shorten the .gitattributes file.
.dir-locals.el can be useful for users of the tarballs as well,
and TODO doesn't exist anymore.
Diffstat (limited to '.gitattributes')
| -rw-r--r-- | .gitattributes | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/.gitattributes b/.gitattributes index 6af0a106b..00f78b449 100644 --- a/.gitattributes +++ b/.gitattributes @@ -1,5 +1,3 @@ -.dir-locals.el export-ignore .gitattributes export-ignore .gitignore export-ignore .mailmap export-ignore -TODO export-ignore |