diff src/tools/frontends/games.py @ 695:ddd2781bdd8c

plugin text syntaxes: fixed missing import
author Goffi <goffi@goffi.org>
date Tue, 12 Nov 2013 14:51:32 +0100
parents 2805fa3f4bdf
children 30eb49e4e05d
line wrap: on
line diff