Media Manager Namespaces Choose namespace [root] internal people private public publications research undefined wiki Media Files Media Files Upload Search Search in people Thumbnails Rows Name Date Apply Search file name: Search File View History History of public:papers:1mrsa_usenix2016_20160812_final.pdf 2016-08-12 18:50 public:papers:1mrsa_usenix2016_20160812_final.pdf – external edit (Unknown date) 127.0.0.1 +2.5 MB (current) 2016-08-12 18:50 public:papers:1mrsa_usenix2016_20160812_final.pdf – created petrs +2.5 MB Show differences between selected revisions
