mirror of
https://github.com/kalmarek/PropertyT.jl.git
synced 2024-10-31 19:00:34 +01:00
Add REQUIRE
This commit is contained in:
parent
989c51c1ef
commit
eac8cb6817