fix info script so timing script doesn't fail if undefined#7

Merged

nucliweb merged 2 commits intomainfrom

fix-script-info-timings

Jul 18, 2022

Commits on Jul 16, 2022

fix info script so timing script doesn't fail if undefined
jhadev
committed

Commits on Jul 18, 2022

cleanup .gitignore
jhadev
committed