Don't do unneeded work after the level's done

[erdslangetjie.git] / main.py

import erdslangetjie.__main__
if __name__ == "__main__":
    erdslangetjie.__main__.main()