2012-11-15 | Bart Polot | - fix typo | blob | commitdiff | raw |
2012-11-15 | Christian Grothoff | -polishing consensus API | blob | commitdiff | raw | diff to current |
2012-11-15 | Christian Grothoff | polishing consensus API | blob | commitdiff | raw | diff to current |
2012-11-15 | Florian Dold | added declarations for the consensus api | blob | commitdiff | raw | diff to current |