Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Fix configuration file generation and reading #3024
referenced this pull request
Jul 19, 2018
@jelovirt One question, the now removed configuration.properties had a dita ot version key inside. Was this key moved to the other one? This information was quite useful even for plugins, for example a plugin could load the properties file in its build.xml and depending on the DITA OT version integrate in one way or another.
@raducoravu Version info was already duplicated in