Closed cortner closed 3 years ago
there are some big files that need to be purged from the git history before 1.0
this might be already done - double-check after the rewrite
in fact this is maybe no longer relevant since Julia pkg manager now does shallow clones
there are some big files that need to be purged from the git history before 1.0