diff misc/gen-dist @ 178:91f8ee6514f5

removed `remote_port' config option it was already deprecated for some time see NEWS at release 0.2.12 for details
author meillo@marmaro.de
date Wed, 14 Jul 2010 16:48:45 +0200
parents b212da6385a8
children
line wrap: on
line diff