diff man/building.texi @ 78225:b6d25790aab2

Switch license to GPLv3 or later.
author Glenn Morris <rgm@gnu.org>
date Wed, 25 Jul 2007 04:22:13 +0000
parents 460f1bfb58f2
children 62ba8fc1101f 13288374088d dd7c098af727
line wrap: on
line diff