diff --git a/server/yeet_to_yail.py b/server/yeet_to_yail.py old mode 100644 new mode 100755 index 702b349..87bbcd4 --- a/server/yeet_to_yail.py +++ b/server/yeet_to_yail.py @@ -1,3 +1,5 @@ +#!/usr/bin/env python + import os import argparse from typing import List, Union, Callable