Closed sudo-panda closed 5 years ago
Added a check for empty workspace directory and a function to update transition IDs
Thanks for the PR. LGTM. Merging.
Added a check for empty workspace directory and a function to update transition IDs