diff options
| author | Maxime Dénès | 2017-10-06 12:47:22 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-10-06 12:47:22 +0200 |
| commit | f1598b00219a951e94036cb7f48a8fe1309025f1 (patch) | |
| tree | 62dd9a6da381137e61a6b732ae0ba806d822c5cc /.gitattributes | |
| parent | 6cb1829829de5edfe733b901c38a8b39ba03ef56 (diff) | |
| parent | 248fffe64ee42137822ba438dfb378defbe1aa05 (diff) | |
Merge PR #1127: Shorten the .gitattributes file.
Diffstat (limited to '.gitattributes')
| -rw-r--r-- | .gitattributes | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/.gitattributes b/.gitattributes index 6af0a106ba..00f78b4494 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 |