Executable bit/shebang house cleaning (#2189)

pull/2210/head
Aaron Adams 2 years ago committed by GitHub
parent 9a0094b564
commit 581861d2fd
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

@ -1,5 +1,3 @@
#!/usr/bin/env python
"""
Add, load, show, edit, or delete symbols for custom structures.

@ -1,4 +1,3 @@
#!/usr/bin/env python
from __future__ import annotations
import argparse

@ -1 +1,2 @@
#!/usr/bin/env bash
SKIP_GENERATION=1 mkdocs serve -a 0.0.0.0:8000

@ -1 +1,2 @@
#!/usr/bin/env bash
gdb -nx -x docs.py

Loading…
Cancel
Save