SVN format 9 is the same it seems

diff --git a/Tools/scripts/svneol.py b/Tools/scripts/svneol.py
index 9e57bb4c0f82c0666fc9aafb5aefd09e77e65f21..9357c7ed8d2ef4c720c707a1e740bb7b6f0c9f4b 100644 (file)
--- a/Tools/scripts/svneol.py
+++ b/Tools/scripts/svneol.py
@@ -39,9 +39,9 @@ def propfiles(root, fn):
         format = int(open(os.path.join(root, ".svn", "format")).read().strip())
     except IOError:
         return []
-    if format == 8:
-        # In version 8, committed props are stored in prop-base,
-        # local modifications in props
+    if format in (8, 9):
+        # In version 8 and 9, committed props are stored in prop-base, local
+        # modifications in props
         return [os.path.join(root, ".svn", "prop-base", fn+".svn-base"),
                 os.path.join(root, ".svn", "props", fn+".svn-work")]
     raise ValueError, "Unknown repository format"