Skip to content
Snippets Groups Projects
Select Git revision
  • main default
1 result
Blame Permalink
  • SimonGuilloud's avatar
    1411eac6
    Reorganize (#191) · 1411eac6
    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.
    Unverified
    1411eac6
    History
    Reorganize (#191)
    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.