[Jenkins]Jenkins
log in

Changes

Summary

  1. optional argumet to specify server port (commit: 4294590) (details)
Commit 429459097a855da7bf349d727600589fc93ecd0b by Moritz Wissenbach
optional argumet to specify server port
 (commit: 4294590)
The file was modified pom.xml (diff)
The file was modified src/main/java/net/faustedition/gen/DiplomaticConversion.java (diff)