tree 2a6661eb8525138021a973ca0f19135469eab846
parent 41d37527c49ef0cba068ca5aafb6cd858bde7797
author Brendan Jackman <brendan.jackman@arm.com> 1492686675 +0100
committer Brendan Jackman <bjackman@users.noreply.github.com> 1492687151 +0100

Use IPython 5.x to avoid Python 3.3 requirement