[debian-edu-commits] debian-edu/ 01/01: Updated after running 'make dist'.

[Wolfgang Schweer]

This is an automated email from the git hooks/post-receive script.

schweer-guest pushed a commit to branch master
in repository debian-edu.

commit 35e9ac92a52972e96e3b2b2e765f9e98046d3f52
Author: Wolfgang Schweer <wschweer at arcor.de>
Date:   Tue Jan 16 12:33:41 2018 +0100

    Updated after running 'make dist'.
---
 debian/control | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/debian/control b/debian/control
index 8390ac9..0d400a0 100644
--- a/debian/control
+++ b/debian/control
@@ -651,6 +651,8 @@ Recommends: anjuta,
  codeblocks,
  ddd,
  drpython,
+ eclipse,
+ eclipse-cdt,
  education-menus,
  fp-compiler,
  fp-docs,
@@ -683,9 +685,7 @@ Recommends: anjuta,
  squeak-vm,
  subversion,
  umbrello
-Suggests: eclipse,
- eclipse-cdt,
- swi-prolog,
+Suggests: swi-prolog,
  swi-prolog-doc,
  tcl8.6-dev,
  tk8.6-dev

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-edu/debian-edu.git