| commit | 6392a9c63ce134c4aceefb8a4eb9da2fa7f4f390 | [log] [tgz] |
|---|---|---|
| author | David Reid <dreid@dreid.org> | Wed Nov 13 10:01:15 2013 -0800 |
| committer | David Reid <dreid@dreid.org> | Wed Nov 13 10:01:15 2013 -0800 |
| tree | e7cc4654d62855290a596b5f2677b531f6af5ed3 | |
| parent | 152d6bec8c34c52d75373dd8d99a3d159baa9550 [diff] |
Document AlreadyFinalized.