[Jenkins]Jenkins
log in

Changes

Summary

  1. Install a profile with our fonts as default. (commit: 88d861f) (details)
Commit 88d861f38052cbc2f4f80659259ffa73b5eb5e7e by Thorsten Vitt
Install a profile with our fonts as default.
Possible workaround for #13, but attn! installs our fonts to the user's 
profile! (or at least tries to …)
 (commit: 88d861f)
The file was modified pom.xml (diff)
The file was addedsrc/main/profile/prefs.js
The file was modified src/main/java/net/faustedition/gen/DiplomaticConversion.java (diff)