Media Manager
Namespaces
Choose namespace
Media Files
Files in public:thesis
- circuit.dot.png
- 931×801
- 2017-05-22 09:19
- 257.3 KB
- circuit.gls.png
- 916×801
- 2017-05-22 09:19
- 137.2 KB
- comparison.png
- 1306×567
- 2017-05-22 09:11
- 108.6 KB
- pres.pdf
- 2017-06-21 15:48
- 621.9 KB
- pruned.gls.png
- 933×801
- 2017-05-22 09:22
- 92.9 KB
- pruned.ils.png
- 959×801
- 2017-05-22 09:21
- 194.8 KB
- thesis-pc.pdf
- 2017-05-22 08:58
- 455.2 KB
![[root]](/public/astro?ns=&tab_files=files&do=media&tab_details=history&image=public%3Apolice_scenario.png){kind=link}
File
History of public:police_scenario.png
Starting TLS failed
LDAP: couldn't connect to LDAP server