Merge branch 'main' into script-trycatch

2023-10-07 22:13:24 -07:00
parent 9b557227a3 a524adb1b9
commit 5bbebb83dc
2 changed files with 6 additions and 2 deletions
--- a/scripts/insert-includes.py
+++ b/scripts/insert-includes.py
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python

 # replaces a `include with the full include file
 #