comparison frontends/src/primitivus/profile_manager.py @ 2229:761fa220a717

tools (common/uri): minor comment update
author Goffi <goffi@goffi.org>
date Thu, 20 Apr 2017 17:20:44 +0200
parents 978011533892
children 8b37a62336c3
comparison
equal deleted inserted replaced
2228:cf6c539672c7 2229:761fa220a717