Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Already on GitHub? Sign in to your account

Optional Punktetabelle #11

Closed
enplotz opened this Issue Jun 6, 2012 · 1 comment

Comments

Projects
None yet
2 participants
Collaborator

enplotz commented Jun 6, 2012

Make Punktetabelle opt-out.

Owner

zinnjonas commented Jun 7, 2012

also done

@zinnjonas zinnjonas closed this Jun 7, 2012

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment