Skip to content

GitLab

Manual.rst: fix some typos'. 

Makefile: remove automatically downloaded file.
1 job for master in 1 minute and 40 seconds (queued for 3 seconds)
7b1eae8a
No related merge requests found.