diff options
| author | David Pursehouse <david.pursehouse@gmail.com> | 2017-02-20 11:32:22 +0900 |
|---|---|---|
| committer | David Pursehouse <david.pursehouse@gmail.com> | 2017-02-20 11:32:22 +0900 |
| commit | fceac7e44d53d6b0ac56be9d5d4ac6607cdd5878 (patch) | |
| tree | 0c1f15caa10a2232f8200fcc28555ecd8fd8f3b5 /org.eclipse.jgit.pgm | |
| parent | 7ac182f4e427e0d5a986b8ca67a56fc22828b1a0 (diff) | |
| download | jgit-fceac7e44d53d6b0ac56be9d5d4ac6607cdd5878.tar.gz jgit-fceac7e44d53d6b0ac56be9d5d4ac6607cdd5878.zip | |
Add some more missing @Override annotations
Change-Id: Ic13160920b986edde87c928c473240cc9c034f50
Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>
Diffstat (limited to 'org.eclipse.jgit.pgm')
0 files changed, 0 insertions, 0 deletions