Check sub-modules are OK before pushing
authorIan Lynagh <ian@well-typed.com>
Fri, 15 Feb 2013 15:38:55 +0000 (15:38 +0000)
committerIan Lynagh <ian@well-typed.com>
Fri, 15 Feb 2013 15:38:55 +0000 (15:38 +0000)
commitd8ab46d2258fbf765dc39e5868e18606624dc36c
tree66f0a6c67ee04baea8e0fdeefc9aaa7cc125d183
parent192789a4c4a4388e39d1652a62c09a3715637ead
Check sub-modules are OK before pushing
sync-all