diff tools/games.py @ 175:8537df794f74

Primitivus: gateways: current server is now shown in title
author Goffi <goffi@goffi.org>
date Thu, 12 Aug 2010 19:35:56 +0800
parents 8c80d4dec7a8
children
line wrap: on
line diff