Add check for ungenerated code#679
Merged
rotemmiz merged 5 commits intomasterfrom danielmschmidt/check-if-generation-neededMay 17, 2018
+496-615
Commits
Commits on May 12, 2018
- committedDaniel Schmidt
- committedDaniel Schmidt
Commits on May 13, 2018
- committedDaniel Schmidt