This repository was archived by the owner on Mar 18, 2019. It is now read-only.
Make sure we mention the same license everywhere. Issue #177#178
Open
scarabeusiv wants to merge 1 commit into
Open
Make sure we mention the same license everywhere. Issue #177#178scarabeusiv wants to merge 1 commit into
scarabeusiv wants to merge 1 commit into
Commits
Commits on Feb 27, 2019
- committed
Tomáš Chvátal