Skip to content
Jenkins
log in
Dashboard
Cforall Distribute Build
#874
Status
Changes
Console Output
View Build Information
Parameters
Git Build Data
Pipeline Steps
Previous Build
Next Build
Failed
Changes
Summary
second attempt at including tools/prettyprinter in the distribution (
details
)
Commit 8dc6f84be0641884162ae1c3f27f808c8b0a97bb by
Peter Buhr
second attempt at including tools/prettyprinter in the distribution
The file was modified
configure.ac
![[Jenkins]](/jenkins/static/77b8736f/images/svgs/logo.svg){kind=logo}
