Changed INRIA to Red Hat (for Debian)
authorRichard W.M. Jones <rjones@redhat.com>
Mon, 7 Jul 2008 13:03:04 +0000 (14:03 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Mon, 7 Jul 2008 13:03:04 +0000 (14:03 +0100)
commita493d63c357cc80f4ae135166a02cea4bb72dc2f
treeb2c1afb36b8502fbe3a9701bde108efba3255383
parent1d0c5c02dc9d41074218f8ae7e974eb79ec6c600
Changed INRIA to Red Hat (for Debian)
COPYING.LIB