jedit-devel

2024-03-01 - 2024-04-01 (8 messages)

2024-02-01 - 2024-03-01 (20 messages)

2024-01-01 - 2024-02-01 (6 messages)

  1. 2024-02-29  [2] [ jEdit-devel ] gitplugin 0.8 can't be downloaded     jedit-dev Eric Le Lay v
  2. 2024-02-28  [1] [ jEdit-devel ] [jedit:bugs] Re: #4125 Delete at the  jedit-dev Alan Ezust vi
  3. 2024-02-28  [2] [ jEdit-devel ] [jedit:bugs] #4133 deleting an expand jedit-dev Dale Anson vi
  4. 2024-02-27  [2] [ jEdit-devel ] [jedit:bugs] #4132 freeze when deleti jedit-dev Eric Le Lay v
  5. 2024-02-27  [1] [ jEdit-devel ] [jedit:patches] #633 Fix #4132 freeze jedit-dev Eric Le Lay v
  6. 2024-02-27  [1] [ jEdit-devel ] [jedit:bugs] #4125 Delete at the end  jedit-dev Eric Le Lay v
  7. 2024-02-24  [8] [ jEdit-devel ] [jedit:plugin-central-submission] #10 jedit-dev Miroslav Hajd
  8. 2024-02-05  [2] [ jEdit-devel ] [jedit:feature-requests] #556 Mode fo jedit-dev Thiemo Kellne
  9. 2024-02-03  [1] [ jEdit-devel ] [jedit:bugs] #4131 JEdit Displaying U jedit-dev Marcelo Vanzi