Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. remove useless header from Python file
  2. adapt check roots tool AFP/25b79df18904
Changeset 7178:eefb439fcfab by lars hupel _lars.hupel@mytum.de_:
remove useless header from Python file
The file was modified admin/sitegen-lib/afpstats.py (diff)
Changeset 7177:7be93421a931 by lars hupel _lars.hupel@mytum.de_:
adapt check roots tool AFP/25b79df18904
The file was modified tools/afp_check_roots.scala (diff)