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