From f55919b66750bb164a2a7ff5355c59312d6aceb7 Mon Sep 17 00:00:00 2001 From: Chris Mayo Date: Mon, 5 Sep 2022 19:30:38 +0100 Subject: [PATCH] Remove defunct entries from .gitattributes --- .gitattributes | 2 -- 1 file changed, 2 deletions(-) diff --git a/.gitattributes b/.gitattributes index 974efd1d..05088657 100644 --- a/.gitattributes +++ b/.gitattributes @@ -1,4 +1,2 @@ .gitattributes export-ignore .gitignore export-ignore -/doc/web export-ignore -.travis.yml export-ignore