Bug-Database: https://github.com/rzr/pinball-table-gnu/issues/
Bug-Submit: https://github.com/rzr/pinball-table-gnu/issues/new
Documentation: https://github.com/rzr/pinball-table-gnu/
Repository-Browse: https://github.com/rzr/pinball-table-gnu/
Repository: https://github.com/rzr/pinball-table-gnu.git
