Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. third attempt at including tools/prettyprinter in the distribution (details)
  2. documentation (details)
Commit 4a790e4ccbf8200645297f7fa5f79f6bc047ea8f by Peter Buhr
third attempt at including tools/prettyprinter in the distribution
The file was modifiedMakefile.am
Commit ce0b8b88b46d195e414655d328e1c60da918c4f4 by Peter Buhr
documentation
The file was modifiedtests/time.cfa