From 0a425f05f09eef1c988fd212dd69022536bc1709 Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Fri, 17 Aug 2007 14:52:13 +0200
Subject: [PATCH] Ignore the directory with certificates.

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 788b92e..af85b54 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,5 @@
 box
+certs
 problems
 solutions
 testing
-- 
2.39.2