From 88ffad5a1e6097c08524aa0a0c7c3a8c7da75070 Mon Sep 17 00:00:00 2001 From: "Tobias C. Berner" Date: Sat, 10 Feb 2018 11:39:52 +0000 Subject: Follow up to r461375 * Remove the (origins of the) copied ports manually (as the new ones are repo-copies of these, no history is lost). * Fixup index in games/Makefile Sorry for the breakage. Pointy hat: tcberner --- misc/kdeedu4/pkg-descr | 4 ---- 1 file changed, 4 deletions(-) delete mode 100644 misc/kdeedu4/pkg-descr (limited to 'misc/kdeedu4/pkg-descr') diff --git a/misc/kdeedu4/pkg-descr b/misc/kdeedu4/pkg-descr deleted file mode 100644 index 092200164a39..000000000000 --- a/misc/kdeedu4/pkg-descr +++ /dev/null @@ -1,4 +0,0 @@ -This port installs a collection of entertaining, educational programs -for KDE 4. - -WWW: http://www.kde.org -- cgit v1.2.3