Completed
Pull Request — master (#25)
by Emir
01:48
created

No notable changes

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

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