Skip to content
Jenkins
log in
Dashboard
mettalog
#23
Changes since last success
Status
Changes
Console Output
View Build Information
Polling Log
Metadata
Timings
Git Build Data
Changes since last success
Compare environment
Previous Build
Next Build
build #23
: Changes
Removal of unused metta_reader.pl (
details
/
githubweb
)
fix of one intersection test (
details
/
githubweb
)