Updated with old wiki pages.

2016-05-27 10:43:40 +02:00
parent 44f5918e86
commit 3938d4422d
43 changed files with 2829 additions and 47 deletions
--- a/_layouts/default.html
+++ b/_layouts/default.html
@@ -30,6 +30,9 @@
          <li{% if page.title == "Documentation" %} class="active"{% endif %}>
            <a href="{{ page.base_url }}workbook/workbook">Documentation</a>
          </li>
+          <li{% if page.title == "Old-Wiki" %} class="active"{% endif %}>
+            <a href="{{ page.base_url }}wiki">(Old-Wiki)</a>
+          </li>
        </ul>
        <h3 class="muted">Eiffel Web Framework</h3>
      </div>