Commit 9dcdba30 authored by vaclav's avatar vaclav
Browse files

re-enable DEBUGGING switch

parent 54ec1fe8