From b9c00143478fbdaba7925fd7f04cd9e72a2d6921 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Micha=C3=ABl=20Hauspie?= <michael.hauspie@univ-lille.fr> Date: Sun, 20 Nov 2022 16:30:35 +0100 Subject: [PATCH] Add ido history to git ignore --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index 8d0188e..d2fa3e5 100644 --- a/.gitignore +++ b/.gitignore @@ -20,3 +20,4 @@ projectile-bookmarks.eld /tramp /async-bytecomp.log /games/ +history -- GitLab