jupyter batch; lower font size on plots
authorBenjamin Auder <benjamin.auder@somewhere>
Wed, 15 Feb 2017 15:23:26 +0000 (16:23 +0100)
committerBenjamin Auder <benjamin.auder@somewhere>
Wed, 15 Feb 2017 15:23:26 +0000 (16:23 +0100)

No differences found