fix ugliness that is not used / useful
authorChristian Grothoff <christian@grothoff.org>
Wed, 3 Apr 2019 09:12:46 +0000 (11:12 +0200)
committerChristian Grothoff <christian@grothoff.org>
Wed, 3 Apr 2019 09:12:46 +0000 (11:12 +0200)
commitdec59b98f84b1f3d515e1a2322ff44dfd250620e
tree536aee66aa3e560a95477fb777ab1f18c85fb3ab
parentdb442be605237a26dc3e7d66bb21ae7a44da44e0
fix ugliness that is not used / useful
src/gns/gnunet-gns-proxy-setup-ca.in