Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
workshop:heidelberg:september_2018 [2018/07/25 12:07] – Maurits W. Haverkort | workshop:heidelberg:september_2018 [2018/07/25 12:09] – Maurits W. Haverkort | ||
---|---|---|---|
Line 12: | Line 12: | ||
===== Table of contents ===== | ===== Table of contents ===== | ||
- | {{indexmenu> | + | {{indexmenu> |