Skip to content
Jenkins
log in
Dashboard
All
mettalog
#153
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Metadata
Timings
Git Build Data
Changes since last success
Compare environment
Previous Build
Next Build
Success
Changes
Summary
get rid of extra_answer_padding (
details
)
Commit
11eee15998568eca1956029fd89af310a9af60b3
by
Douglas R Miles
get rid of extra_answer_padding
The file was modified
src/canary/metta_repl.pl
(diff)
![[Jenkins]](/jenkins/static/9bf812e2/images/svgs/logo.svg){kind=logo}
