tree d21b8c4faf4e7b1b347e12a805648a9eb222b629
parent c8d44429bb32c1e46332418e62d5a9cce7d03f2c
author Julian Hyde <julianhyde@gmail.com> 1374096272 -0700
committer Julian Hyde <julianhyde@gmail.com> 1374096272 -0700

Release 0.1.7.