diff src/tools/xml_tools.py @ 315:31804aa9d3da

core: fixed stop script
author Goffi <goffi@goffi.org>
date Mon, 02 May 2011 16:45:27 +0200
parents e04ccf122bb6
children cf005701624b
line wrap: on
line diff