diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2007-08-12 16:10:05 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-08-12 16:10:05 +0200 |
| commit | 14e1b40f645a6c14b91374f736b2c2f856d69e23 (patch) | |
| tree | be692d9089f1706d47883d79ae1e4b63f8b75dfd /Mach/OskitMachPatches/patch-gnumach_softint-wagi.diff.gz | |
| parent | 9c3462c58803e3d94e5c5589372ac28cf908a545 (diff) | |
Remove the WebPreferences, keep the logos from there.
Diffstat (limited to 'Mach/OskitMachPatches/patch-gnumach_softint-wagi.diff.gz')
0 files changed, 0 insertions, 0 deletions