Fix diff.py, add support for objdiff

This commit is contained in:
Cuyler36
2024-01-02 17:11:38 -05:00
parent 5125ebd972
commit 77ce517b85
4 changed files with 29 additions and 2 deletions
+1 -1
View File
@@ -21,4 +21,4 @@ def apply(config, args: Namespace):
config["show_line_numbers_default"] = True
def add_custom_arguments(parser: ArgumentParser):
parser.add_argument("-r", "--rel", action="store_true", help="(SPM) Diff a function in relF.rel")
parser.add_argument("-r", "--rel", action="store_true", help="(AC) Diff a function in foresta.rel")