diff --git a/tabletmapper.py b/tabletmapper.py index b0782d4..878e4f0 100644 --- a/tabletmapper.py +++ b/tabletmapper.py @@ -1345,4 +1345,3 @@ def main(): if __name__ == "__main__": main() - # test: remote repos are in sync