diff src/tools/common.py @ 1768:7debf3a4bf14

tmp (rsm): removed useless cast
author Goffi <goffi@goffi.org>
date Sun, 03 Jan 2016 18:36:41 +0100
parents d17772b0fe22
children
line wrap: on
line diff