Skip to content
Commit 0cb7ff36 authored by vaclav's avatar vaclav
Browse files

formal improvements

parent c8e34f38