Skip to content
Commit 50f037dc authored by lengyelb's avatar lengyelb
Browse files

Added copyright and invariant to files

parent 17b30d99