tree 8eef49433b84cce65ba415f4bc17c0c43d4c4c7b
parent a990778f7bb471b8811dba7b33cc14a61ac4159b
author Junxiao Shi <git@mail1.yoursunny.com> 1482778778 +0000
committer Junxiao Shi <git@mail1.yoursunny.com> 1482778778 +0000

install_helpers: install infoedit from GitHub

This commit also moves repository URL to be the last argument in every git clone command.

refs #3387

Change-Id: I7e90a928ca11a4f67c949fbc10fe1b4f54307dfc