tree d08790125b6c30adabd286e36c4d9d08bc780e17
parent 7811453f25c82684a26571f34cc51fad71065f0f
author Marc Kupietz <kupietz@ids-mannheim.de> 1511971475 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1511971636 +0100

w2v-server: introduce header with pagetitle, search bar and options