[META] a proper option for .gitmodules (GH10)
Merge pull request #15 from htkm/iss10/option-for-gitmodule

[META] a proper option for .gitmodules (GH10)