From 9e39ac415d01312facd0202a8f7225795a6a787a Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus Date: Sun, 15 Jan 2017 12:14:31 +0100 Subject: [PATCH] gnu: tipp10: Fix description. * gnu/packages/education.scm (tipp10)[description]: Do not mention operating systems; remove hint about language settings. --- gnu/packages/education.scm | 17 ++++++----------- 1 file changed, 6 insertions(+), 11 deletions(-) diff --git a/gnu/packages/education.scm b/gnu/packages/education.scm index 43e73a0e0d..69f5a51f59 100644 --- a/gnu/packages/education.scm +++ b/gnu/packages/education.scm @@ -1,6 +1,6 @@ ;;; GNU Guix --- Functional package management for GNU ;;; Copyright © 2016 Danny Milosavljevic -;;; Copyright © 2016 Ricardo Wurmus +;;; Copyright © 2016, 2017 Ricardo Wurmus ;;; Copyright © 2016 Hartmut Goebel ;;; ;;; This file is part of GNU Guix. @@ -182,17 +182,12 @@ (define-public tipp10 ("sqlite" ,sqlite))) (home-page "https://www.tipp10.com/") (synopsis "Touch typing tutor") - (description "Tipp10 is a touch typing tutor for Windows, Mac OS and -Linux. The ingenious thing about the software is its intelligence feature: -Characters that are mistyped are repeated more frequently. Beginners will -find their way around right away so they can start practicing without a hitch. + (description "Tipp10 is a touch typing tutor. The ingenious thing about +the software is its intelligence feature: characters that are mistyped are +repeated more frequently. Beginners will find their way around right away so +they can start practicing without a hitch. Useful support functions and an extensive progress tracker, topical lessons and the ability to create your own practice lessons make learning to type -easy. - -Note: To change the language settings choose Datei (File) → -Grundeinstellungen (Generell Settings) → Sprache (Language) and change from -Deutsch to English. The you have restart the program to have the change take -effect.") +easy.") (license license:gpl2)))