-
Bug
-
Resolution: Fixed
-
P4
-
None
-
None
-
b02
Since the source files are generated by a script, they don't need to be stored in the repo. We can move the generation to build process. Also, changing the file from .jsh to .java so that it's easier to work on it from an IDE.