| commit | 81bf39c0ce978fc0241dcfb796e46a8c75ad3ef8 | [log] [tgz] |
|---|---|---|
| author | Marc Kupietz <kupietz@ids-mannheim.de> | Wed Nov 29 17:04:35 2017 +0100 |
| committer | Marc Kupietz <kupietz@ids-mannheim.de> | Wed Nov 29 17:07:16 2017 +0100 |
| tree | d08790125b6c30adabd286e36c4d9d08bc780e17 | |
| parent | 7811453f25c82684a26571f34cc51fad71065f0f [diff] |
w2v-server: introduce header with pagetitle, search bar and options