Changes pushed with changeset 670d30318073f16eb59e26be7349720006720d80
User
Push date [To Local]
ChangesetPatch author — Commit message
franziskuskiefer@gmail.com
Thu Oct 05 07:50:06 2017 +0000
670d30318073f16eb59e26be7349720006720d80Franziskus Kiefer — close jar_restructuring_branch jar_restructuring_branch