From 0df2471d25c8d403d7efe13f2a583944e05dbced Mon Sep 17 00:00:00 2001 From: EuAndreh Date: Tue, 6 Dec 2022 14:55:32 -0300 Subject: src/doc/: Remove ad-hoc helper files --- src/doc/head.html | 2 -- 1 file changed, 2 deletions(-) delete mode 100644 src/doc/head.html (limited to 'src/doc/head.html') diff --git a/src/doc/head.html b/src/doc/head.html deleted file mode 100644 index 3902690..0000000 --- a/src/doc/head.html +++ /dev/null @@ -1,2 +0,0 @@ - - -- cgit v1.2.3