Media Manager Namespaces Choose namespace [root] docs exercises gettingstarted mooc newsletters playground rapidprom slideshow tutorial wiki Media Files Media Files Upload Search Files in playground Thumbnails Rows Name Date Apply logo.png 623×159 2021/06/17 14:44 34.9 KB File View Edit History History of slideshow:ex2_petrinet.jpg 2021/06/17 14:44 slideshow:ex2_petrinet.jpg (external edit) (current) Show differences between selected revisions Show page
![[root]](/doku.php?id=start&ns=&tab_files=files&do=media&tab_details=history&image=slideshow%3Aex2_petrinet.jpg){kind=link}
