-
xmj authored
- delete port, as it is considered deprecated by upstream - amend MOVED and devel/Makefile PR: 191229 Submitted by: kvedulv@kvedulv.de Approved by: koobs (mentor)
25b3a2b0
- delete port, as it is considered deprecated by upstream - amend MOVED and devel/Makefile PR: 191229 Submitted by: kvedulv@kvedulv.de Approved by: koobs (mentor)