From 72c35b310a7b8a23934a1e9632d4d989c184d0d7 Mon Sep 17 00:00:00 2001 From: Maxime Dénès Date: Mon, 16 Apr 2018 18:16:37 +0200 Subject: Remove LaTeX refman, now that migration to Sphinx is complete --- doc/refman/menu.html | 32 -------------------------------- 1 file changed, 32 deletions(-) delete mode 100644 doc/refman/menu.html (limited to 'doc/refman/menu.html') diff --git a/doc/refman/menu.html b/doc/refman/menu.html deleted file mode 100644 index 7312ad344c..0000000000 --- a/doc/refman/menu.html +++ /dev/null @@ -1,32 +0,0 @@ - - - - - - - - - - - - - - - - -

- - - - -- cgit v1.2.3