Revert .gitmodules changes from 6746549772c5
authorAustin Seipp <austin@well-typed.com>
Fri, 11 Dec 2015 23:36:20 +0000 (17:36 -0600)
committerAustin Seipp <austin@well-typed.com>
Fri, 11 Dec 2015 23:36:20 +0000 (17:36 -0600)
commitb5d5d83122c93c2a25839127edfd6b2df7ed6928
treec241b8bfee5e580010cbb882b367bbc539ae6609
parenta6e03945a75fa541b84e433e40eae8dd081d4cbf
Revert .gitmodules changes from 6746549772c5

Signed-off-by: Austin Seipp <austin@well-typed.com>
.gitmodules