diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2007-08-12 15:31:28 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-08-12 15:31:28 +0200 |
| commit | efc04e0c0115ecd3a2cf4adbecd9915a4cad8578 (patch) | |
| tree | ffcb40f0c0d96bb4960774ac4614b116aec91630 /Hurd/PersonalHurdPages | |
| parent | 36399e56855e42d11002eae6d99979d046200949 (diff) | |
Remove WebNotify stuff. Such a service is currently not provided, but will eventually be re-introduced.
Diffstat (limited to 'Hurd/PersonalHurdPages')
0 files changed, 0 insertions, 0 deletions