Skip to content
Commit 9d7656d3 authored by vaclav's avatar vaclav
Browse files

more formal improvements

parent 87733040