tree e42399cd78be272ae63d6fc8a1846e9c1e7ca23f
parent 841e207ecfbccab5ed6ac0d378bd0d5c719d48d4
author Eike Stepper <stepper@esc-net.de> 1495345002 +0200
committer Eike Stepper <stepper@esc-net.de> 1495345002 +0200

[517027] Add FileUserManager option to "fail if file does not exist"

https://bugs.eclipse.org/bugs/show_bug.cgi?id=517027