[Jenkins]Jenkins
log in

Changes

Summary

  1. fixup! Install a profile with our fonts as default. (commit: 5df2bd1) (details)
Commit 5df2bd1a128581c2ce4f42bb123e2a86c10cc3c6 by Thorsten Vitt
fixup! Install a profile with our fonts as default.
 (commit: 5df2bd1)
The file was modified src/main/java/net/faustedition/gen/DiplomaticConversion.java