log frontends/src/quick_frontend/quick_profile_manager.py @ 1321:e9888db0eb0c frontends_multi_profiles

age author description
Sat, 24 Jan 2015 00:14:58 +0100 Goffi quick_frontend, primitivus: moved parts of primitivus's profileManager to quick_frontend frontends_multi_profiles base frontends/src/primitivus/profile_manager.py@9300e9e4ce2e