-
Committer:
franku
-
Date:
2017-10-04 20:31:13 UTC
-
mto:
This revision was merged to the branch mainline in
revision
473.
-
Revision ID:
somal@arcor.de-20171004203113-9jwwe6jmk0a5m2r1
removed undocumented scripts.js; added search specific js; some browser specific css changes