Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated some Sledgehammer components, following Makarius advice
Changeset 68207:1463c4996fb2 by blanchet:
updated some Sledgehammer components, following Makarius advice
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)