marianozunino/dev
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

dev: automated commit - 2025-05-31 17:53:38

Browse source
This commit is contained in:
Mariano Z. 2025-05-31 17:53:40 -03:00
parent 2d690bbe1c
commit 2681786023
Signed by: marianozunino
GPG key ID: 4C73BAD25156DACE
2 changed files with 212 additions and 174 deletions
Download patch file Download diff file Expand all files Collapse all files

10
runs/tools/dev.sh Executable file
View file

@ -0,0 +1,10 @@
#!/usr/bin/env bash
# NAME: tools/dev script
echo "Running tools/dev.sh script..."
echo $1 $2 $3
# Add your commands here
echo "✅ tools/dev completed successfully"