diff etc/SERVICE @ 112138:3d3d7ef762fd

Merge from mainline.
author Paul Eggert <eggert@cs.ucla.edu>
date Thu, 06 Jan 2011 21:16:15 -0800
parents 5a8fd913621c
children e6fdae9180d4 ef719132ddfa
line wrap: on
line diff