commit | a92b40c65c0aab7cf6f23a21517541cefb62a6e8 | [log] [tgz] |
---|---|---|
author | cbateman <cbateman> | Thu Aug 28 17:48:21 2008 +0000 |
committer | cbateman <cbateman> | Thu Aug 28 17:48:21 2008 +0000 |
tree | 60ddf85f7073d9570f0e238d2e099b8b99959d21 | |
parent | 3ce7eb3943ee3860e3fe82cd909d3139b65665d9 [diff] |
Fix for https://bugs.eclipse.org/bugs/show_bug.cgi?id=244175. Don't try and create a TLDDocument for a library being removed, since this may fail.