log frontends/src/primitivus/profile_manager.py @ 1302:447d28b1b4ec 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
Wed, 10 Dec 2014 19:00:09 +0100 Goffi quick_frontend, primitivus: multi-profiles refactoring part 1 (big commit, sorry :p): frontends_multi_profiles