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