log frontends/src/quick_frontend/quick_profile_manager.py @ 1771:b77dc676a4df

age author description
Sun, 03 Jan 2016 16:28:30 +0100 Goffi copyright update
Tue, 17 Nov 2015 12:39:38 +0100 Goffi quick_frontend(profile manager): fixed alert messages