repos-cmp/scripts
Ivan A. Melnikov ea0db14e8b scripts: Use public resources in run.sh
This should serve as example. For internal uses,
one should add their own script.
2023-08-01 18:24:02 +04:00
..
.gitignore scripts: Use public resources in run.sh 2023-08-01 18:24:02 +04:00
run.sh scripts: Use public resources in run.sh 2023-08-01 18:24:02 +04:00