tree 69fbee40bfd505a9ff3a095c5fc0a9876cde359d
parent 32efbf8dc3c96798d4164c1c67edcda73c8cd6f3
author Paul Eggert <eggert@gnu.org> 864702915 +0000
committer Paul Eggert <eggert@gnu.org> 864702915 +0000

automatically generated from GPLed version