ConfigTreeNode.py
changeset 2645 d15a997859b1
parent 2640 1b4b335e19ea
child 2695 a4704fb40b0b
child 2981 a0932a52e53b
--- a/ConfigTreeNode.py	Wed Dec 18 13:31:22 2019 +0100
+++ b/ConfigTreeNode.py	Tue May 26 09:58:20 2020 +0200
@@ -678,6 +678,3 @@
 
         raise UserAddressedException(message)
 
-class UserAddressedException(Exception):
-    pass
-