script was removed
authorChristian Grothoff <christian@grothoff.org>
Mon, 4 Jun 2018 21:28:30 +0000 (23:28 +0200)
committerChristian Grothoff <christian@grothoff.org>
Mon, 4 Jun 2018 21:28:30 +0000 (23:28 +0200)
commit5eb8efafea6d28afb22316e6a51ca9fcabc882cd
tree0326d33720570613b801ff7f2684efb7a49f3a96
parent9b6534a8e8281ad4113df174f260c44a1af79267
script was removed
contrib/Makefile.am