Adrien Grand 055953d6b3 Expose the reason why a mapping merge is issued. ...

This would be useful in order to only perform some validations in the case of
a mapping update and in cases when a mapping is restored eg. after a restart,
such as discussed in #15989.

This replaces the current `applyDefault` parameter which can be derived from
the mapping merge reason: the default mapping should be applied only in case of
a mapping update, if the mapping does not exist yet and if this is not the
default mapping.

2016-01-18 17:41:23 +01:00

..

src

Expose the reason why a mapping merge is issued.

2016-01-18 17:41:23 +01:00

build.gradle

Switch build system to Gradle

2015-10-29 11:40:19 -07:00