diff configure @ 111190:6174c15098f6

Mention server-port.
author Glenn Morris <rgm@gnu.org>
date Tue, 26 Oct 2010 00:42:46 -0700
parents e1e1a3a49919
children 393b44bc9757
line wrap: on
line diff