This commit was manufactured by cvs2svn to create tag
'gdb_7_5_1-2012-11-29-release'.

Sprout from gdb_7_5-branch 2012-11-29 09:40:41 UTC gdbadmin <gdbadmin@sourceware.org> 'Update GDB version number in version.in'
Delete:
    gdb/contrib/ari/create-web-ari-in-src.sh
    gdb/contrib/ari/update-web-ari.sh
2 files changed