diff options
author | 2016-04-09 15:10:26 -0400 | |
---|---|---|
committer | 2016-04-09 15:10:26 -0400 | |
commit | 02625cd3767d9fd5be07f1198b763fcb2b63da5d (patch) | |
tree | 5ea1cf03951cc70d3863f1c93c3a3d3fff9764ec /doc | |
parent | 618caf2765803eb50ebae67b2e04a3f6055ce883 (diff) |
add AdjBranch newtype; some simplications
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions