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 /Mig/WebHome.mdwn | |
| parent | 9c3462c58803e3d94e5c5589372ac28cf908a545 (diff) | |
Remove the WebPreferences, keep the logos from there.
Diffstat (limited to 'Mig/WebHome.mdwn')
| -rw-r--r-- | Mig/WebHome.mdwn | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Mig/WebHome.mdwn b/Mig/WebHome.mdwn index ca3b5275..ad2f0bf1 100644 --- a/Mig/WebHome.mdwn +++ b/Mig/WebHome.mdwn @@ -19,10 +19,6 @@ The [[MachInterfaceGenerator]] (MIG) is a program which generates inter-process </dl> <p> </p> - <dl> - <dt>[[WebPreferences]]</dt> - <dd> specific settings for this web </dd> - </dl> <p> </p> </td> |