Completed
Pull Request — master (#25)
by Emir
05:59
created

No notable changes

There were no notable changes in the changeset which was inspected.

9.86
▶   ± 0
Head
Emir Beganović  
Merge b01f01303c8b2b6f4ab5e9968f7b4157b4dcfd91 into 55c47cfdd7faeb6736bb78568108e60c2f6a717b
3 more commits
Base
Sylvain Lorinet  
Merge pull request #23 from wpj-cz/fix_undefined_installation-source