tree a2b07dd5244553fa2b88a39e5400c6eca8ac3717
parent 159fb078d2e30b10f32c689dff799125f0f4d296
author Julian Hyde <julianhyde@gmail.com> 1369255626 -0700
committer Julian Hyde <julianhyde@gmail.com> 1369255626 -0700

Release 0.1.2.