From 79aa63f7178aa978e9d8f8b4bca77edf5a0e2f60 Mon Sep 17 00:00:00 2001
From: Rene Schallner <rene@renerocks.ai>
Date: Wed, 10 Jan 2024 15:24:31 +0100
Subject: [PATCH] exclude docs/ from gitignore

---
 .gitignore | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 6b2dd8e..6d2d37c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -11,7 +11,6 @@ wrk/csharp/obj/
 wrk/csharp/out/
 scratch
 **/.mypy_cache/*
-docs/
 .DS_Store
 .vs/
 **/*.perflog