From 8d247f0318803e55b73ae7696785368b0d5bb7b9 Mon Sep 17 00:00:00 2001 From: Pierre Chapuis Date: Thu, 1 Feb 2024 18:45:45 +0100 Subject: [PATCH] add empty extra.css to avoid warning --- docs/stylesheets/extra.css | 0 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 docs/stylesheets/extra.css diff --git a/docs/stylesheets/extra.css b/docs/stylesheets/extra.css new file mode 100644 index 0000000..e69de29