diff options
| author | Martin Mares <mj@ucw.cz> | 2000-03-01 11:48:11 +0000 |
|---|---|---|
| committer | Martin Mares <mj@ucw.cz> | 2000-03-01 11:48:11 +0000 |
| commit | 4c1b4e1a582ea8d13943c46ad87588d5743439cb (patch) | |
| tree | 9dc106efa5ccb22752ab57d5682f1155dbbd5859 /doc/banner.tex | |
| parent | aee539f241dd233eb9e716e11ee2c449ab482a75 (diff) | |
If the user has specified identical preferences for instances of different
protocols, break the tie by comparing addresses, so we keep the ordering
unambiguous.
Diffstat (limited to 'doc/banner.tex')
0 files changed, 0 insertions, 0 deletions