Update misc/kdeedu-data to version 19.12.2
authorDPorts Builder <nobody@home.ok>
Sat, 15 Feb 2020 15:41:51 +0000 (07:41 -0800)
committerDPorts Builder <nobody@home.ok>
Sat, 15 Feb 2020 15:41:51 +0000 (07:41 -0800)
commit07a92698283ef436e63fc810f7613c6966c3bdfd
treecbe571e33437221bf3f65acdb388a058da6abc8e
parent4f9966fe6e9b21eb21e947606aaa1a84524f31ee
Update misc/kdeedu-data to version 19.12.2
misc/kdeedu-data/distinfo