Imported old code.

2023-08-22 03:14:43 +02:00 · 2023-08-22 03:14:43 +02:00 · 89d94c38b6
commit 89d94c38b6
parent b35b040120
243 changed files with 26457 additions and 0 deletions
--- a/img/icons/arrow_A_ver1.gif
+++ b/img/icons/arrow_A_ver1.gif
--- a/img/icons/arrow_A_ver2.gif
+++ b/img/icons/arrow_A_ver2.gif
--- a/img/icons/arrow_B_ver1.gif
+++ b/img/icons/arrow_B_ver1.gif
--- a/img/icons/arrow_B_ver2.gif
+++ b/img/icons/arrow_B_ver2.gif
--- a/img/icons/arrow_C_ver1.gif
+++ b/img/icons/arrow_C_ver1.gif
--- a/img/icons/arrow_C_ver2.gif
+++ b/img/icons/arrow_C_ver2.gif
--- a/img/icons/arrow_C_ver2a.gif
+++ b/img/icons/arrow_C_ver2a.gif
--- a/img/icons/book.gif
+++ b/img/icons/book.gif
--- a/img/icons/cube.gif
+++ b/img/icons/cube.gif
--- a/img/icons/document.gif
+++ b/img/icons/document.gif
--- a/img/icons/documents.gif
+++ b/img/icons/documents.gif
--- a/img/icons/envelope_ver1.gif
+++ b/img/icons/envelope_ver1.gif
--- a/img/icons/envelope_ver2.gif
+++ b/img/icons/envelope_ver2.gif
--- a/img/icons/envelope_ver3.gif
+++ b/img/icons/envelope_ver3.gif
--- a/img/icons/external.gif
+++ b/img/icons/external.gif
--- a/img/icons/figure_ver1.gif
+++ b/img/icons/figure_ver1.gif
--- a/img/icons/figure_ver2.gif
+++ b/img/icons/figure_ver2.gif
--- a/img/icons/mag_glass.gif
+++ b/img/icons/mag_glass.gif
--- a/img/icons/permalink.gif
+++ b/img/icons/permalink.gif
--- a/img/icons/speech_bubble.gif
+++ b/img/icons/speech_bubble.gif
--- a/img/icons/tv.gif
+++ b/img/icons/tv.gif