diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-09-18 11:54:54 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-09-18 11:54:54 +0200 |
| commit | 993a4fbb7c3d1f9977e0789c21905fddd72241fd (patch) | |
| tree | 899b928672607b9ad74dafd42eb2bfa048a041c4 /gnu/packages/patches/tipp10-fix-compiling.patch | |
| parent | 248965c91caf7d10433f090b4712a9b201968416 (diff) | |
| parent | 7bc46ecc34ceb042ff890e5d306d0a2a736e891d (diff) | |
Merge remote-tracking branch 'origin/master' into wip-texlive
Diffstat (limited to 'gnu/packages/patches/tipp10-fix-compiling.patch')
| -rw-r--r-- | gnu/packages/patches/tipp10-fix-compiling.patch | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gnu/packages/patches/tipp10-fix-compiling.patch b/gnu/packages/patches/tipp10-fix-compiling.patch index 4c206d4d83..3a34a98b22 100644 --- a/gnu/packages/patches/tipp10-fix-compiling.patch +++ b/gnu/packages/patches/tipp10-fix-compiling.patch @@ -204,8 +204,7 @@ https://sources.debian.net/data/main/t/tipp10/2.1.0-2/debian/patches/0001-FixCom Name=TIPP10 Comment=Touch Typing Tutor Comment[de]=10-Finger-Schreibtrainer --Exec=tipp10 -+Exec=/usr/bin/tipp10 + Exec=tipp10 Icon=tipp10.png Terminal=false Type=Application |