ankidroid/Anki-Android — pull request #471 by flerda (2014-09-03 04:38:20+00:00)
Title: Move gitflow-integrate into tools directory.

I mistankely put this tools in the root directory. Also, it lost its
executable bit, so restoring it.