remove some vestigial files, add (gnu) favicon
authorAmin Bandali <bandali@gnu.org>
Fri, 20 Dec 2019 02:46:00 +0000 (21:46 -0500)
committerAmin Bandali <bandali@gnu.org>
Fri, 20 Dec 2019 02:46:00 +0000 (21:46 -0500)
by Naveen P L, under CC, from https://www.favicon.cc/?action=icon&file_id=19883


No differences found