diff options
author | Marco Pesenti Gritti <marco@gnome.org> | 2005-02-24 12:52:42 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <marco@src.gnome.org> | 2005-02-24 12:52:42 (GMT) |
commit | 662b57ab5fc05d98a0ab3e4258c15cf2a2cc66c1 (patch) | |
tree | 3f077cfcaf3e6c2e4911934097b75f3268e2af49 /shell | |
parent | 6d7f9e7cf7678b48828be0722ae2e998ce85b7a7 (diff) |
Fix a crasher on exit. Unused code, put a TODO
2005-02-24 Marco Pesenti Gritti <marco@gnome.org>
* pdf/xpdf/pdf-document.cc:
Fix a crasher on exit. Unused code, put a TODO
Diffstat (limited to 'shell')
0 files changed, 0 insertions, 0 deletions