tree b833c4218d5fac08297321e558fe0e593d456a19
parent 48434ef30f3f1a39031b6f2ff71e0701db6b832b
parent 23e521f6f4eeee34f97906f9b91340e43930fc27
author Daniel Strueber <strueber@mathematik.uni-marburg.de> 1578330936 -0500
committer Gerrit Code Review @ Eclipse.org <gerrit@eclipse.org> 1578330936 -0500

Merge "Update install instructions"