Hai Brenner b1a033da5e Add the channel identifier to the PlaintextBallot, so it is now printed by the output device		2016-07-06 13:24:10 +03:00
..
src	Add the channel identifier to the PlaintextBallot, so it is now printed by the output device	2016-07-06 13:24:10 +03:00
.gitignore	Code review comments and channges	2016-04-05 15:36:00 +03:00
build.gradle	Merge with master	2016-04-11 20:14:18 +03:00
gradlew	Moved to multi-project gradle build; added (non-working) hello world for bulletin-board server using Jetty and Jersey	2015-11-09 16:01:59 +02:00