Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. webpage
  2. Makefiles are not needed anymore
Changeset 6494:3cc46cd4b6f6 by lars hupel _lars.hupel@mytum.de_:
webpage
The file was modified web/entries/LTL_to_DRA.shtml (diff)
Changeset 6493:e8d294111cc5 by lars hupel _lars.hupel@mytum.de_:
Makefiles are not needed anymore
The file was modified admin/sitegen.py (diff)