Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| workshop:heidelberg:october_2019 [2019/09/02 16:23] – Maurits W. Haverkort | workshop:heidelberg:october_2019 [2020/03/12 09:03] (current) – Maurits W. Haverkort | ||
|---|---|---|---|
| Line 10: | Line 10: | ||
| We would like to thank the [[http:// | We would like to thank the [[http:// | ||
| - | {{ : | + | [[https:// |
| ===== Table of contents ===== | ===== Table of contents ===== | ||
| {{indexmenu> | {{indexmenu> | ||
