magicpopper icon indicating copy to clipboard operation
magicpopper copied to clipboard

Published 20 hours ago • verified publisher icon celinehocquette

Separate magicpopper and ilp-experiments?

Open hakank opened this issue 1 year ago • 1 comments

The magicpopper repo is currently very large: about 9Gn, of which magicpopper is just a few Mb; the rest is for ilp-experiments (including the .git directories).

Would it be possible to separate these two directories so one can clone just the magicpopper directory?

hakank avatar Aug 26 '22 06:08 hakank