diff frontends/src/wix/profile_manager.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 308a96bc7c1b
line wrap: on
line diff