jedit-devel

2024-05-01 - 2024-06-01 (34 messages)

  1. 2023-10-03 Re: [ jEdit-devel ] deleting next newline character i  jedit-dev Matthieu Casanova 
  2. 2023-10-02 Re: [ jEdit-devel ] deleting next newline character i  jedit-dev Dale Anson 
  3. 2023-10-02 Re: [ jEdit-devel ] deleting next newline character i  jedit-dev Eric Le Lay via jE
  4. 2023-06-02 Re: [ jEdit-devel ] deleting next newline character i  jedit-dev Dale Anson 
  5. 2023-06-02 Re: [ jEdit-devel ] deleting next newline character i  jedit-dev Dale Anson 
  6. 2023-06-02 Re: [ jEdit-devel ] deleting next newline character i  jedit-dev Alan Ezust 
  7. 2023-05-31 [ jEdit-devel ] deleting next newline character in ja  jedit-dev Alan Ezust