Skip to content
Commit 8e1b1a5c authored by vaclav's avatar vaclav
Browse files

formal improvements

parent b1f5fd5f