Build #78 (Aug 30, 2016 10:24:50 AM)

1. Fix DTLK 5.5 internal API break (HTMLPrinter move from internal to API) (detail)
2. use last DLTK version 5.6 (detail)

Started by an SCM change (2 times)

• origin/master