diff options
| author | Joachim Nilsson <joachim@gnufans.org> | 2002-12-20 06:35:35 +0000 |
|---|---|---|
| committer | Joachim Nilsson <joachim@gnufans.org> | 2002-12-20 06:35:35 +0000 |
| commit | 1e83a5ddd59bc39635d4fd650537503acf8f3778 (patch) | |
| tree | 083bb0a900db476d2726e9bb720a149755cc0671 /Distrib/WebPreferences | |
| parent | ab4160133ac19fd59aad9ae742c61ec3ff2c9a5b (diff) | |
Disable assertion that trigger a bug
Diffstat (limited to 'Distrib/WebPreferences')
0 files changed, 0 insertions, 0 deletions