Merge pull request #1615 from hansungk/fix-insert-includes-python

Make scripts/insert-includes.py use Python from conda env
This commit is contained in:
Jerry Zhao
2023-10-05 11:36:06 -07:00
committed by GitHub

View File

@@ -1,4 +1,4 @@
#!/usr/bin/python
#!/usr/bin/env python
# replaces a `include with the full include file
#