Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. set default src_indents to false (details)
Commit 65ac96cc0a02245057b24b1a11e0c5c4e2c79a7f by Douglas R Miles
set default src_indents to false
The file was modifiedsrc/canary/metta_interp.pl (diff)
The file was modifiedsrc/canary/metta_printer.pl (diff)