Browse Source

Tools: make dumpstack and run-coverage .sh script

zr-v5.1
Pierre Kancir 5 years ago committed by Peter Barker
parent
commit
1d8a9ab556
  1. 0
      Tools/scripts/dumpstack.sh
  2. 0
      Tools/scripts/run-coverage.sh

0
Tools/scripts/dumpstack → Tools/scripts/dumpstack.sh

0
Tools/scripts/run-coverage → Tools/scripts/run-coverage.sh

Loading…
Cancel
Save