User Activity
-
Posted
a comment
on
ticket #527
on
jEdit
bug_3852.patch
-
Created
ticket #527
on
jEdit
patch for bug #3582
-
Posted
a comment
on
ticket #3852
on
jEdit
Hi, I tried it on my pc and found the same bug. I would like to try to fix it.
Personal Data
- Username:
- ruby77
- Joined:
- 2014-03-19 14:12:42
Projects
- No projects to display.