diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2008-07-14 11:16:27 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2008-07-16 15:56:18 +0200 |
| commit | 3013ad73fac088b2268611c5ca2ac0a46e21dad9 (patch) | |
| tree | 02dfe4c22350ae331c173c3057ba5605692c8f8c /community | |
| parent | 1c011a2c939283e4ab4465da7f2bc6448ca4e568 (diff) | |
This overriding is no longer needed.
Diffstat (limited to 'community')
0 files changed, 0 insertions, 0 deletions