![[Jenkins]](/jenkins/static/9bf812e2/images/svgs/logo.svg){kind=logo}
Summary
- @jazzbox35 commenting merged to src/comp_werks2 (details)
| The file was modified | src/comp_werks2/swi_support.pl (diff) |
| The file was modified | src/comp_werks2/metta_space.pl (diff) |
| The file was modified | src/comp_werks2/swi_support.pl (diff) |
| The file was modified | src/comp_werks2/metta_space.pl (diff) |