dinerk/tuve — pull request #15 by htkm (2014-09-24 20:06:43+00:00)
Title: [META] a proper option for .gitmodules (GH10)

closes #10 again