Merge remote-tracking branch 'upstream/master'

This commit is contained in:
Christian Raedel 2016-08-30 04:45:43 +02:00
commit d6a23174cb
1 changed files with 33 additions and 32 deletions

View File

@ -14,6 +14,7 @@
<configuration> <configuration>
<source>7</source> <source>7</source>
<target>7</target> <target>7</target>
<useIncrementalCompilation>false</useIncrementalCompilation>
</configuration> </configuration>
</plugin> </plugin>
</plugins> </plugins>