diff src/stdui/ui_profile_manager.py @ 2070:58f0c96d60e5

quick frontend (menus): minor docstring fixes
author Goffi <goffi@goffi.org>
date Sun, 11 Sep 2016 11:03:25 +0200
parents 2daf7b4c6756
children 52bd463e6fe7
line wrap: on
line diff