Completed
Pull Request — master (#25)
by Emir
04:57
created

No notable changes

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

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