_exceptions.py
changeset 5274 16461f675734
parent 5223 6abd6e3599f4
parent 5273 c4caef6f09c9
child 5423 e15abfdcce38
--- a/_exceptions.py	Thu Apr 15 12:47:02 2010 +0200
+++ b/_exceptions.py	Thu Apr 15 12:48:40 2010 +0200
@@ -122,8 +122,6 @@
 class UnknownProperty(RegistryException):
     """property found in database but unknown in registry"""
 
-class RegistryOutOfDate(RegistryException):
-    """raised when a source file modification is detected"""
 
 # query exception #############################################################