Edit this page Backlinks Media Manager Namespaces Choose namespace [root] admin bioinf_labbook cache_mathplugin colaborations courses graphepisim intranet people pip restfulmlst start wiki backup Media Files Media Files Upload Search Files in wiki Thumbnails Rows Name Date Apply dokuwiki-128.png 128×128 2020/05/01 12:42 27.2 KB dokuwiki.svg 2020/07/29 11:35 23.6 KB logo.png 100×79 2018/11/02 09:50 8.2 KB File View History History of github.png 2018/02/19 18:08 github.png (external edit) (current) Show differences between selected revisions
![[root]](/wiki/doku.php?id=people:sidebar&ns=&tab_files=files&do=media&tab_details=history&image=github.png){kind=link}
