From 6801f7448905e2c626c194fe3ffe5818b09df51f Mon Sep 17 00:00:00 2001 From: Alberto Sartori Date: Mon, 7 Nov 2022 11:47:31 +0100 Subject: just-mr: remove leftover --- bin/just-mr.py | 2 -- 1 file changed, 2 deletions(-) (limited to 'bin/just-mr.py') diff --git a/bin/just-mr.py b/bin/just-mr.py index c641426c..def75a4b 100755 --- a/bin/just-mr.py +++ b/bin/just-mr.py @@ -43,7 +43,6 @@ GIT_CHECKOUT_LOCATIONS = {} TAKE_OVER = [ "bindings", "target_file_name", - "index_file_name", "rule_file_name", "expression_file_name", ] @@ -51,7 +50,6 @@ ALT_DIRS = [ "target_root", "rule_root", "expression_root", - "index_root", ] GIT_NOBODY_ENV = { -- cgit v1.2.3