diff etc/srecode/texi.srt @ 107465:7d8c73013195

Merge from mainline.
author Katsumi Yamaoka <yamaoka@jpl.org>
date Tue, 23 Mar 2010 01:05:35 +0000
parents 1d1d5d9bd884
children 376148b31b5e
line wrap: on
line diff