delete vestigial .gitmodules file
authorAmin Bandali <bandali@gnu.org>
Fri, 13 Sep 2019 22:55:19 +0000 (18:55 -0400)
committerAmin Bandali <bandali@gnu.org>
Fri, 13 Sep 2019 22:55:19 +0000 (18:55 -0400)

No differences found