remove dead file
authorChristian Grothoff <christian@grothoff.org>
Wed, 13 Jun 2018 16:09:02 +0000 (18:09 +0200)
committerChristian Grothoff <christian@grothoff.org>
Wed, 13 Jun 2018 16:09:02 +0000 (18:09 +0200)
commite532e871ca89b8a78700756fef1284de15f479c8
treeacb6817029bc1645e39a4e3f5ec9f2fc7e6a41b0
parent9417d4af8052c4983a5eab6cb0a678d55c779188
remove dead file
po/POTFILES.in