fixes #3287: minor styling fixes on main.
[edumed.git] / edumed / settings.d / 35-search.py
2013-02-13 Radek Czajkasearch