Changes

Summary

  1. Minor cleaning in Mantle.java (details)
Commit 9fff8c7e0fa7dd36bdd632d4711a9c05c76ca72b by Sunstrike
Minor cleaning in Mantle.java
The file was modifiedsrc/mantle/Mantle.java (diff)