Skip to content
[Jenkins]Jenkins
log in
Success

#282 (Aug 30, 2017, 12:42:33 PM)

Started 7 yr 2 mo ago
Took 46 min on build3
Changes
  1. Preprint: Don't override coloring for erased stuff. (commit: bd71453) (details)
  2. Revert "Temporarily disable preprint." (commit: a2d1286) (details)
  3. Updated submodules. (commit: cb20fc4) (details)