Pioneers

• pioneers-editor(6) Editor for the Pioneers boardgame
• pioneers-server-gtk(6) graphical game server for Pioneers
• pioneers(6) network implementation of Settlers of Catan