From 2ae6aeacb1083e85aab0d5e7eea8074dd4a2a63c Mon Sep 17 00:00:00 2001 From: Brad King Date: Tue, 21 Mar 2023 09:08:59 -0400 Subject: Actually remove unused top-level doxygen.config file In commit 3ca1a80e53 (Remove unused top-level doxygen.config file, 2023-03-20) we only removed the content, not the file itself. --- doxygen.config | 1 - 1 file changed, 1 deletion(-) delete mode 100644 doxygen.config diff --git a/doxygen.config b/doxygen.config deleted file mode 100644 index 8b13789..0000000 --- a/doxygen.config +++ /dev/null @@ -1 +0,0 @@ - -- cgit v0.12