Closed renaudpawlak closed 8 years ago
A field for the input directory of JSweet source should be added so that we can select (multiple?) inputs for JSweet
Done.
A field for the input directory of JSweet source should be added so that we can select (multiple?) inputs for JSweet