Skip to content

Repository reorganisation

Federico Morodei requested to merge Repo_reorganisation into master

Move all the old files into the OLD_FILES directory. Update latex file of Specification Document (in previous MR I forgot to push the changes of SpecificationDoc.tex)

Merge request reports