mercurial/repair.py
changeset 38131 46c2b19a1263
parent 37084 f0b6fbea00cf
child 38394 f0b0c853f598
--- a/mercurial/repair.py	Tue May 22 23:48:08 2018 -0400
+++ b/mercurial/repair.py	Tue May 15 14:35:41 2018 +0200
@@ -405,18 +405,6 @@
         else:
             ui.write(_('fncache already up to date\n'))
 
-def stripbmrevset(repo, mark):
-    """
-    The revset to strip when strip is called with -B mark
-
-    Needs to live here so extensions can use it and wrap it even when strip is
-    not enabled or not present on a box.
-    """
-    return repo.revs("ancestors(bookmark(%s)) - "
-                     "ancestors(head() and not bookmark(%s)) - "
-                     "ancestors(bookmark() and not bookmark(%s))",
-                     mark, mark, mark)
-
 def deleteobsmarkers(obsstore, indices):
     """Delete some obsmarkers from obsstore and return how many were deleted