script for measuring time of integration
commit9a86daddba882dc1639b709e84c90f60ada515dd
authorWojtek Kosior <kwojtus@protonmail.com>
Wed, 3 Jul 2019 22:37:26 +0000 (4 00:37 +0200)
committerWojtek Kosior <kwojtus@protonmail.com>
Wed, 3 Jul 2019 22:37:26 +0000 (4 00:37 +0200)
treed5c2d6ebe72a1140b8e184b6d01333dad129145a
parent4c9d6c8d23c2217bdc81d58194a28443366b62b9
script for measuring time of integration
measure_times.sh [new file with mode: 0755]