tree 8c97f078e950fdafb787bd157007724b63a987b7
parent c86ea3a66547d70db6c0a70cbad7b71adf9c94b2
author Dave Borowitz <dborowitz@google.com> 1394853978 -0700
committer Dave Borowitz <dborowitz@google.com> 1394854724 -0700

Restore tools/gitiles-dev.launch

This was deleted in 22c45b3b, possibly because it didn't work in
earlier revisions of that change, but it is still useful.

Change-Id: Iaaf4e48cccb80fa9005fca5fdcabe0f678dd97df