diff options
Diffstat (limited to 'settings.gradle')
| -rw-r--r-- | settings.gradle | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/settings.gradle b/settings.gradle index 0447a904..d5b62a70 100644 --- a/settings.gradle +++ b/settings.gradle @@ -11,4 +11,5 @@ include 'core', // 'runners:maven-plugin', 'runners:gradle-plugin', // 'plugins:javadoc8' - 'plugins:mathjax' + 'plugins:mathjax', + 'plugins:xml' |