Closed SamuelDeleglise closed 1 year ago
Merged it into master
@SamuelDeleglise. I also took the opportunity to rename master
into main
, which is the default now. Should we keep the python3-only
branch or rather delete it?
Well, the only problem is that we don't have direct push authorization on main so we somehow need a working branch...
--> We need this to be in master to put the proper link in the paper if possible !