diff src/tools/misc.py @ 519:b7577230a7c8

reverted bad commit
author Goffi <goffi@goffi.org>
date Sun, 21 Oct 2012 12:55:27 +0200
parents 7ee15fbe8c08
children 5431136501ab
line wrap: on
line diff