Search: 
[] List [] Subjects [] Authors [  ] Bodies (must pick a list first)
Set Page Width: [ 80 ] [ 90 ] [ 100 ] [ 120 ]
Viewing messages in thread '[ jEdit-devel ] [jedit:bugs] #4125 Delete at the end of the line does not delete newline (java20, ja'
Viewing messages in list jedit-devel 
  1. 2024-02-27 [ jEdit-devel ] [jedit:bugs] #4125 Delete at the end   jedit-dev Eric Le Lay via jE
  2. 2023-10-10 [ jEdit-devel ] [jedit:bugs] #4125 Delete at the end   jedit-dev Alan Ezust via jEd
  3. 2023-10-10 [ jEdit-devel ] [jedit:bugs] #4125 Delete at the end   jedit-dev Alan Ezust via jEd
  4. 2023-10-03 [ jEdit-devel ] [jedit:bugs] #4125 Delete at the end   jedit-dev Eric Le Lay via jE
  5. 2023-09-20 [ jEdit-devel ] [jedit:bugs] #4125 Delete at the end   jedit-dev Alan Ezust via jEd
  6. 2023-06-04 [ jEdit-devel ] [jedit:bugs] #4125 Delete at the end   jedit-dev Dale Anson via jEd
  7. 2023-06-04 [ jEdit-devel ] [jedit:bugs] #4125 Delete at the end   jedit-dev Alan Ezust via jEd

Configure | About | News | Add a list | Sponsored by KoreLogic