comparison 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
comparison
equal deleted inserted replaced
814:59c7bc51c323 815:f8d534ed1d1e