Tom Tromey c8f8fedd3c 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.
2013-10-25 14:02:58 +00:00
..
2013-10-25 14:02:58 +00:00
2013-05-30 16:22:06 +00:00
2013-05-30 16:22:06 +00:00