Merge branch 'docs_fix_duplicates' into 'master'
Removed duplicates of files and unused reference See merge request !146
docs/Makefile
deleted
100644 → 0
Please register or sign in to comment
On Thursday, 2nd February from 9 to 10.00 am there will be a maintenance with a short downtime of the GitLab service.
Removed duplicates of files and unused reference See merge request !146