diff options
| author | Thomas Wolf <thomas.wolf@paranor.ch> | 2018-01-27 16:06:15 +0100 |
|---|---|---|
| committer | Thomas Wolf <thomas.wolf@paranor.ch> | 2018-01-28 16:13:04 +0100 |
| commit | e12c6b58ee0284cbdf34bf325deb561a52d10340 (patch) | |
| tree | b5d84d4f0757fbbf5ec93fc6c3425d1f72e5d972 /org.eclipse.jgit/build.properties | |
| parent | 1c43af8b9794abcad7a4ac77c352626063aa1f05 (diff) | |
| download | jgit-e12c6b58ee0284cbdf34bf325deb561a52d10340.tar.gz jgit-e12c6b58ee0284cbdf34bf325deb561a52d10340.zip | |
Minor improvements in git config file inclusions
* Section and key names in git config files are case-insensitive.
* If an include directive is invalid, include the line in the
exception message.
* If inclusion of the included file fails, put the file name into
the exception message so that the user knows in which file the
problem is.
Change-Id: If920943af7ff93f5321b3d315dfec5222091256c
Signed-off-by: Thomas Wolf <thomas.wolf@paranor.ch>
Diffstat (limited to 'org.eclipse.jgit/build.properties')
0 files changed, 0 insertions, 0 deletions