aa6 f8f99e0c4c Fix: Missing monoids dependency.		2019-07-20 14:47:06 +03:00
..
git_hook_pre_commit.bash	Fix: Reorganizing repository utils.	2018-01-02 18:11:28 +03:00
increment_version.bash	Replace removed files	2016-04-30 12:46:46 +03:00
version.png	Fix: Missing monoids dependency.	2019-07-20 14:47:06 +03:00