Skip to content
Commit 38356932 authored by Tom Pollard's avatar Tom Pollard
Browse files

Merge branch 'tpollard/829' into 'master' 

Download buildtrees on demand for bst shell --use-buildtree

Closes #829

See merge request !1050
parents 564cb245 805baf7d
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment