diff --git a/update_local_repo.py b/update_local_repo.py old mode 100644 new mode 100755 index 1c97ea5..01dea55 --- a/update_local_repo.py +++ b/update_local_repo.py @@ -1,3 +1,5 @@ +#!/usr/bin/env python3 + import urllib.request import os import urllib.error