devtools/devctl.py
changeset 4380 5613d7c06339
parent 4252 6c4f109c2b03
child 4399 bc8d7ac70347
--- a/devtools/devctl.py	Tue Jan 26 20:27:48 2010 +0100
+++ b/devtools/devctl.py	Tue Jan 26 20:28:56 2010 +0100
@@ -164,9 +164,7 @@
                             eschema, rschema, role, tschema)):
                     add_msg(w, 'add a %s' % tschema,
                             'inlined:%s.%s.%s' % (etype, rschema, role))
-                    add_msg(w, 'remove this %s' % tschema,
-                            'inlined:%s.%s.%s' % (etype, rschema, role))
-                    add_msg(w, 'This %s' % tschema,
+                    add_msg(w, str(tschema),
                             'inlined:%s.%s.%s' % (etype, rschema, role))
                 if appearsin_addmenu.etype_get(eschema, rschema, role, tschema) and \
                        (libconfig is None or not