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.
forked from wvisser/green
-
Notifications
You must be signed in to change notification settings - Fork 0
marcdefaria/green
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Packages 0
No packages published
Languages
- Java 99.8%
- Dockerfile 0.2%