diff frontends/src/quick_frontend/quick_utils.py @ 815:f8d534ed1d1e

jp: added missing license headers
author Goffi <goffi@goffi.org>
date Wed, 05 Feb 2014 14:52:38 +0100
parents 1fe00f0c9a91
children 75025461141f
line wrap: on
line diff