From 49b84e7db2b77a5f8d0ee027d909498c28f7a3ff Mon Sep 17 00:00:00 2001 From: Joerg Bornemann Date: Thu, 22 Jun 2023 09:25:14 +0200 Subject: [PATCH] Don't gitignore /doc/ MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Otherwise, ripgrep and friends won't search in documentation files of this repo. Change-Id: Ia33ec6e694c4a5bb76a3184b96e637e51ad8b0e9 Reviewed-by: Kai Köhne --- .gitignore | 1 - 1 file changed, 1 deletion(-) diff --git a/.gitignore b/.gitignore index b1151f478..e49dc7e8a 100644 --- a/.gitignore +++ b/.gitignore @@ -9,7 +9,6 @@ /config.opt /config.opt.in /config.summary -/doc/ /qtdoc_dummy_file.txt # Qt Creator