From 49a98a919f3e446bc28ec4844cca883e9f33abef Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Roman=20Dvo=C5=99=C3=A1k?= <xdvora19@fi.muni.cz>
Date: Thu, 2 May 2024 15:14:45 +0200
Subject: [PATCH] removed excess parts generated by merge
---
docs/stylesheets/extra.css | 1 -
1 file changed, 1 deletion(-)
diff --git a/docs/stylesheets/extra.css b/docs/stylesheets/extra.css
index 36ffcb9..174c29c 100644
--- a/docs/stylesheets/extra.css
+++ b/docs/stylesheets/extra.css
@@ -165,5 +165,4 @@ span div:nth-child(1) > div:nth-child(1) > pre:nth-child(1) > code:nth-child(1)
span div:nth-child(1) > div:nth-child(1) > pre:nth-child(1) > code:nth-child(1) > span:nth-child(10) {
color: black !important;
->>>>>>> docs/stylesheets/extra.css
}
\ No newline at end of file
--
GitLab