From a693bbffd190ae77d5d84b1fcfa57541bd9adf86 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=ADle=20Ekaterin=20Liszka?= Date: Sun, 3 Dec 2023 08:07:02 -0800 Subject: [PATCH] gitignore: ignore c.*; they are third-party solves --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index 06c798b..6e99d66 100644 --- a/.gitignore +++ b/.gitignore @@ -1 +1,2 @@ input.txt +c.*