mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 94ab60 | patch | commitdiff
Gaetan Boismal
02.30.2016 2e3fcc58f4743e4877224cc88cbc3a1cf71a99bc
refs
author Gaetan Boismal <gaetan.boismal@forgerock.com>
Monday, May 2, 2016 14:30 +0200
committer Gaetan Boismal <gaetan.boismal@forgerock.com>
Monday, May 2, 2016 14:31 +0200
commit2e3fcc58f4743e4877224cc88cbc3a1cf71a99bc
tree b11b140519db2bc4f625fd582a99e7bfb2c06b5d tree | zip | gz
parent 94ab608bf26d8ef5fb477e6b7de0be679cfb90a1 view | diff 
Migrate to copyright plugin 1.0.1

The new version includes a fix which allows us to use custom 'git diff'
output (e.g diff-so-fancy) without breaking the copyright plugin 'git
diff' output parser.
1 files modified
2 ■■■■■ changed files
pom.xml 2 ●●●●● diff | view | raw | blame | history