MAINT: Tools improvements #1406

Merged
merged 2 commits into from Feb 20, 2014

Projects

None yet

2 participants

@jseabold
Member

Make sure we get the whole traceback for mysterious doc build failures.

@jseabold jseabold merged commit 3bd7e1b into master Feb 20, 2014

1 check was pending

default The Travis CI build is in progress
Details
@jseabold jseabold deleted the tools-fixes branch Feb 20, 2014
@josef-pkt josef-pkt added the PR label Mar 11, 2014
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment