remove vestigial other/ directory
authorAmin Bandali <amin@gnu.org>
Thu, 30 Aug 2018 21:57:44 +0000 (17:57 -0400)
committerAmin Bandali <amin@gnu.org>
Thu, 30 Aug 2018 21:57:44 +0000 (17:57 -0400)

No differences found