Skip to content
Commit 5f12f841 authored by vaclav's avatar vaclav
Browse files

formal improvements

parent c5f14e3a