diff options
author | wiz <wiz> | 2002-10-31 17:57:38 +0000 |
---|---|---|
committer | wiz <wiz> | 2002-10-31 17:57:38 +0000 |
commit | aa9fcb01cf480dc03c2c2c65736f98de201b91fc (patch) | |
tree | 038a8a6ed04c50b0906b15bfbd57ba7d9830c2df /games/xdemineur | |
parent | 25841682e047f11c64f0b6a6a170e58b0abbda3c (diff) | |
download | pkgsrc-aa9fcb01cf480dc03c2c2c65736f98de201b91fc.tar.gz |
Update to 0.13.1.
Changes:
This release adds Custom Filters back to the header pane. It also
fixes some charset & memory bugfixes, some minor new features, and
refreshed dialogs for better adherence to the the Gnome HumanInterface
Guidelines.
Diffstat (limited to 'games/xdemineur')
0 files changed, 0 insertions, 0 deletions