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)
commitbd155c4067a764d35ab32f8d97c50251af517427
tree7122fbff9a1a989fa911a803082eab0f4b17e5a2
parent489798a4ab8574e584deed009e20affae58bcea9
delete vestigial .gitmodules file
.gitmodules [deleted file]