"crpptbx/git@ic-gitlab.epfl.ch:spc/gdat.git" did not exist on "8d34e8705eeea17154812a8276846d25f094293b"
-
SimonGuilloud authored
Reorganize and clean up files: Remove old unussed files, move the root project to lisa-sets, change lisa.mathematics to lisa.maths, some more.
SimonGuilloud authoredReorganize and clean up files: Remove old unussed files, move the root project to lisa-sets, change lisa.mathematics to lisa.maths, some more.