Completed
Pull Request — master (#25)
by Emir
06:12
created

No notable changes

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

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