Renamed CEGO directory to cego to fit naming style
#27
| Job | Run time |
|---|---|
| 1m 56s | |
| 1m 56s |
CEGO directory to cego to fit naming style
#27
| Job | Run time |
|---|---|
| 1m 56s | |
| 1m 56s |