From e6d1aa18c85bd9c4cea83bd3c4b3ed836a3d2fbb Mon Sep 17 00:00:00 2001 From: Dimitris Zlatanidis Date: Mon, 12 Jun 2023 11:42:04 +0300 Subject: [PATCH] Updated for theme --- .idea/workspace.xml | 16 ++++++++-------- mkdocs.yml | 5 +++-- 2 files changed, 11 insertions(+), 10 deletions(-) diff --git a/.idea/workspace.xml b/.idea/workspace.xml index 83dd7519..a9082aed 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -79,13 +79,6 @@