Update Syntex (!1) · Merge requests · rusty-binder / rusty-binder · GitLab

This is an archived project. Repository and other project resources are read-only.

Georg Semmler requested to merge weiznich/rusty-binder:update_syntex into master Aug 31, 2016

Also fix a small bug in utils::docs_from_attrs