diff options
author | pommicket <pommicket@gmail.com> | 2025-09-14 15:50:03 -0400 |
---|---|---|
committer | pommicket <pommicket@gmail.com> | 2025-09-14 15:50:03 -0400 |
commit | 52f3b8a860edd07949734f347f7dcec18274ebe7 (patch) | |
tree | eae3c11786011212e2822ecc5f065377f22c4682 /pre-commit.sh | |
parent | 72b9ca7d05e8150bae98fda96221de3d985654f8 (diff) |
get_list
Diffstat (limited to 'pre-commit.sh')
-rwxr-xr-x | pre-commit.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pre-commit.sh b/pre-commit.sh index 85253dd..bda1666 100755 --- a/pre-commit.sh +++ b/pre-commit.sh @@ -2,3 +2,4 @@ # Ensure no doxygen errors which doxygen >/dev/null 2>/dev/null && { doxygen || exit 1; } + |