tree 42b0b7c1d48d17f0858bb22a4f685f36488b9426
parent 6e71c7604c031624e94e4eff070f5b2f6e8d0bfe
author Dani Megert <dmegert> 1241786381 +0000
committer Dani Megert <dmegert> 1241786381 +0000

Fixed bug 275447: [javadoc] IFileBufferManager should specify that null is OK for progress monitors