| commit | b36ae1f1cc1c2a8a2cd45e9df4f05c5efd431e43 | [log] [tgz] |
|---|---|---|
| author | Brian Silverman <brians> | Thu Apr 17 15:13:41 2014 -0700 |
| committer | Brian Silverman <brians> | Thu Apr 17 15:13:41 2014 -0700 |
| tree | 408c51a4b156c4ebeaaa75bea467db90f88c5cf0 | |
| parent | b94069c7b3e9dbc744d24ca8803a8ae5efe89c41 [diff] | |
| parent | 6f62154083df3d59bc0d1bc1984ba9c4ab36a5a4 [diff] |
merging in the hot goal reading infrastructure