Update german/eric6 to version 18.05
authorDPorts Builder <nobody@home.ok>
Thu, 10 May 2018 21:12:32 +0000 (14:12 -0700)
committerDPorts Builder <nobody@home.ok>
Thu, 10 May 2018 21:12:32 +0000 (14:12 -0700)
commitc6966791c6d6c642b2c054c56df9f9bdb9fa7f89
tree506096ae4dc43b7834fd3293926a6df7f99a9f69
parent8f220854c42b5588afd8900d3902794c0e467d12
Update german/eric6 to version 18.05
german/eric6/distinfo