From 1c0f2a11a026275cdcce0707c8c5bc9d631393e8 Mon Sep 17 00:00:00 2001 From: 12ww1160 <12ww1160@confdroid.com> Date: Mon, 16 Feb 2026 15:22:06 +0100 Subject: [PATCH] OP#437 remove docs folder --- doc/_index.html | 89 ------- doc/css/common.css | 8 - doc/css/full_list.css | 58 ---- doc/css/style.css | 497 ----------------------------------- doc/file.README.html | 110 -------- doc/file_list.html | 48 ---- doc/frames.html | 22 -- doc/index.html | 110 -------- doc/js/app.js | 314 ---------------------- doc/js/full_list.js | 216 --------------- doc/js/jquery.js | 4 - doc/top-level-namespace.html | 98 ------- 12 files changed, 1574 deletions(-) delete mode 100644 doc/_index.html delete mode 100644 doc/css/common.css delete mode 100644 doc/css/full_list.css delete mode 100644 doc/css/style.css delete mode 100644 doc/file.README.html delete mode 100644 doc/file_list.html delete mode 100644 doc/frames.html delete mode 100644 doc/index.html delete mode 100644 doc/js/app.js delete mode 100644 doc/js/full_list.js delete mode 100644 doc/js/jquery.js delete mode 100644 doc/top-level-namespace.html diff --git a/doc/_index.html b/doc/_index.html deleted file mode 100644 index 753448e..0000000 --- a/doc/_index.html +++ /dev/null @@ -1,89 +0,0 @@ - - -
- - -| t |