dev version installation

[Stéfan van der Walt]

On 2 February 2016 at 13:21, Simone Codeluppi <simone at codeluppi.org> wrote:
> from $ git log HEAD^... I get:


This output is a bit strange, so perhaps try:

$ git checkout master
$ git fetch
$ git reset --hard origin/master

Stéfan