Merge branch 'aj/ada-diff-word-pattern'
authorJunio C Hamano <gitster@pobox.com>
Fri, 7 Feb 2014 19:55:10 +0000 (11:55 -0800)
committerJunio C Hamano <gitster@pobox.com>
Fri, 7 Feb 2014 19:55:10 +0000 (11:55 -0800)
* aj/ada-diff-word-pattern:
userdiff: update Ada patterns

Trivial merge