Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Removed stale userguide-files
Changeset 8991:d1f38be075ab by lammich _lammich@in.tum.de_:
Removed stale userguide-files
The file was modified thys/Refine_Monadic/document/root.tex (diff)
The file was removedthys/Refine_Monadic/Userguide.pdf
The file was removedthys/Refine_Monadic/document/root_userguide.bib
The file was removedthys/Refine_Monadic/document/root_userguide.tex