tree e6bf2acc1b1f22a58d1506e4e76d8e4bbff5a90f
parent 241d036b0eec91d61cf0751bcc08a8792bfb68ef
author Paul Vojta <vojta@math.berkeley.edu> 1510043125 -0800
committer Nikias Bassen <nikias@gmx.li> 1521764570 +0100

Fixed compilation instructions

(From pull request #65.)