fix ARI for git migration
authorTom Tromey <tromey@redhat.com>
Tue, 17 Sep 2013 15:19:25 +0000 (09:19 -0600)
committerTom Tromey <tromey@sourceware.org>
Fri, 25 Oct 2013 14:02:58 +0000 (14:02 +0000)
commitc8f8fedd3cd6a6937c44ff483e9c715548039a73
tree5c5f2db699e802243bd50948c581f65c5dc3e47b
parent279d4c119955638dc0649c34971ff50f68959587
fix ARI for git migration

This fixes the ARI script for the git migration.

* contrib/ari/create-web-ari-in-src.sh: Update for git.
gdb/contrib/ari/create-web-ari-in-src.sh