From c8209292c79aa38aee6331f0b3ad8ecd0101a95f Mon Sep 17 00:00:00 2001 From: rysdanie Date: Thu, 6 Mar 2014 10:28:30 +0100 Subject: [PATCH] --- student/rysdanie/index.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/student/rysdanie/index.mdwn b/student/rysdanie/index.mdwn index c8e4c389..b27eb57a 100644 --- a/student/rysdanie/index.mdwn +++ b/student/rysdanie/index.mdwn @@ -7,7 +7,7 @@ Assignment I have chosen the **jEdit** text editor for my semestral project. There are some bugs in its bug report section, I will choose one of them and fix it. In the meantime, I will try to contact project developers in order to include the fix into the program. -I would like to fix bug no. 3849 (Escaped quotes in shell script) or 3848 (jEdit ignores key combinations with AltGr modifier) +I would like to fix bug no. [3848](http://sourceforge.net/p/jedit/bugs/3848/) (jEdit ignores key combinations with AltGr modifier) Links documenting the results of my work ====== -- 2.39.2