Commit Graph

2 Commits

Author SHA1 Message Date
Rodrigo Quelhas
bb173cd994 Added cameligo syntax to "Empty sets" section 2019-11-10 19:13:28 +00:00
Matej Šima
628d818163 Revert "Merge with dev"
This reverts commit 6ffe220d928dc3137496bcea0cc0f4d72edc2846.
2019-11-07 23:19:27 +00:00