diff doc/misc/gpl.texi @ 107562:aae79c4d6845

Merge from mainline.
author Katsumi Yamaoka <yamaoka@jpl.org>
date Sun, 28 Mar 2010 21:55:29 +0000
parents 92b679648bcf
children ef719132ddfa
line wrap: on
line diff