Notes: HvQSDNw9jQZYGx6mw8N0Bg The first step is to update "build.properties" with your local settings. You do not need to set z3 and latte, but in that case some unit tests won't run.
marcdefaria/green
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Notes: HvQSDNw9jQZYGx6mw8N0Bg The first step is to update "build.properties" with your local settings. You do not need to set z3 and latte, but in that case some unit tests won't run.