1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-24 16:35:28 +01:00

disable precompilation

This commit is contained in:
kalmarek 2019-03-01 21:42:02 +01:00
parent 7cc09f8b1a
commit 5acfff7b03
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15

View File

@ -1,3 +1,4 @@
__precompile__(false)
module PropertyT
using Nemo