Google Git
Sign in
eclipse/www.eclipse.org/henshin/23e521f6f4eeee34f97906f9b91340e43930fc27
commit
23e521f6f4eeee34f97906f9b91340e43930fc27
[log] [tgz]
author
Daniel <strueber@mathematik.uni-marburg.de>
Mon Jan 06 18:15:03 2020 +0100
committer
Daniel <strueber@mathematik.uni-marburg.de>
Mon Jan 06 18:15:03 2020 +0100
tree
68d4b7bd55fd6ade27020b1635c704a2d5b233a7
parent
238b96beb50caf1c1876466ea83b806512eb88a7 [diff]
Update install instructions

Change-Id: Ia2de0bcfd592272b540f3560c24355d7a76d09c1
1 file changed
tree: 68d4b7bd55fd6ade27020b1635c704a2d5b233a7
  1. documents/
  2. examples/
  3. images/
  4. starter-kit/
  5. stats/
  6. .project
  7. _projectCommon.php
  8. contributors.php
  9. description.html
  10. downloads.php
  11. egg-incubation.png
  12. examples.php
  13. followus.png
  14. get-involved.php
  15. go-bottom.png
  16. henshin_final.jpg
  17. henshin_small.png
  18. henshin_square.jpg
  19. index.php
  20. install.php
  21. mail.php
  22. news.html
  23. projects.html
  24. projects.php
  25. publications.html
  26. publications.php
  27. screenshots.html