| commit | 2fcbde92d9cad912cbcc68c81a14a04bb849a5ea | [log] [tgz] |
|---|---|---|
| author | Eike Stepper <stepper@esc-net.de> | Sun May 21 07:36:42 2017 +0200 |
| committer | Eike Stepper <stepper@esc-net.de> | Sun May 21 07:36:42 2017 +0200 |
| tree | e42399cd78be272ae63d6fc8a1846e9c1e7ca23f | |
| parent | 841e207ecfbccab5ed6ac0d378bd0d5c719d48d4 [diff] |
[517027] Add FileUserManager option to "fail if file does not exist" https://bugs.eclipse.org/bugs/show_bug.cgi?id=517027