Skip to content
Snippets Groups Projects
Commit 722a9d01 authored by Uwe Jandt (DESY, HIFIS)'s avatar Uwe Jandt (DESY, HIFIS)
Browse files

Merge branch 'delete-outdated-pages' into 'master'

Delete outdated pages and files

See merge request !300
parents f2dbcd57 9fe9ca8d
No related branches found
No related tags found
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment