update potfiles
authorChristian Grothoff <christian@grothoff.org>
Fri, 10 Aug 2018 19:53:22 +0000 (21:53 +0200)
committerChristian Grothoff <christian@grothoff.org>
Fri, 10 Aug 2018 19:53:22 +0000 (21:53 +0200)
commit0f54ff0768d776d07231418e6370602c3789ee56
tree747d0c5b5ac16b91d41f2b7b9835709b8b299f07
parent32096a26ea635d7f8d757319945245cd06d262c4
update potfiles
po/POTFILES.in