diff options
Diffstat (limited to 'extras/pretty_map_headers.py')
| -rw-r--r-- | extras/pretty_map_headers.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/extras/pretty_map_headers.py b/extras/pretty_map_headers.py index b76e6cf4..729209ff 100644 --- a/extras/pretty_map_headers.py +++ b/extras/pretty_map_headers.py @@ -751,6 +751,6 @@ if __name__ == "__main__": #prepare to pretty print tx_fars #first you must load all_texts - tx_fars = find_all_tx_fars() - for entry in tx_fars: - print tx_far_pretty_printer(entry) + #tx_fars = find_all_tx_fars() + #for entry in tx_fars: + # print tx_far_pretty_printer(entry) |