diff frontends/src/quick_frontend/quick_profile_manager.py @ 1783:e393b96dc553

tmp (wokkel.rsm): raise RSMError when <after/> element is empty
author Goffi <goffi@goffi.org>
date Fri, 08 Jan 2016 17:25:19 +0100
parents d17772b0fe22
children 2daf7b4c6756
line wrap: on
line diff