diff options
author | 2019-05-27 16:41:23 -0400 | |
---|---|---|
committer | 2019-05-27 16:41:23 -0400 | |
commit | 18767ac9962932a496833c5971d3157e468c172e (patch) | |
tree | 3b257ef4f83c77be1c3f6158d266ad59af35d3f5 /.gitignore | |
parent | modify generation to log metrics measurements (diff) | |
download | VIATRA-Generator-18767ac9962932a496833c5971d3157e468c172e.tar.gz VIATRA-Generator-18767ac9962932a496833c5971d3157e468c172e.tar.zst VIATRA-Generator-18767ac9962932a496833c5971d3157e468c172e.zip |
fix the null pointer error when trying reproducing the generation procedure
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions