mirror of
https://github.com/kalmarek/Groups.jl.git
synced 2024-10-15 07:20:35 +02:00
allow precompilation of the module
This commit is contained in:
parent
78881e1d79
commit
99c07c6909
@ -1,3 +1,4 @@
|
|||||||
|
__precompile__()
|
||||||
module Groups
|
module Groups
|
||||||
|
|
||||||
using Nemo
|
using Nemo
|
||||||
|
Loading…
Reference in New Issue
Block a user