diff frontends/sat_bridge_frontend/bridge_frontend.py @ 8:4b05308d45f9

fixed bad namespace
author Goffi <goffi@goffi.org>
date Mon, 26 Oct 2009 17:00:19 +0100
parents c4bc297b82f0
children a5b5fb5fc9fd
line wrap: on
line diff