jedit-devel

2021-01-01 - 2021-02-01 (19 messages)

2020-12-01 - 2021-01-01 (14 messages)

2020-11-01 - 2020-12-01 (19 messages)

  1. 2020-12-27  [9] [ jEdit-devel ] [jedit:plugin-central-submission] #10 jedit-dev Eric Le Lay v
  2. 2020-12-23  [1] [ jEdit-devel ] UNSUBSCRIBE                           jedit-dev R Steiger 
  3. 2020-12-22  [1] [ jEdit-devel ] [jedit:bugs] #4105 PHP static class f jedit-dev Jack J. Woehr
  4. 2020-12-21  [2] [ jEdit-devel ] [jedit:plugin-feature-requests] #397  jedit-dev Dale Anson vi
  5. 2020-12-10  [1] [ jEdit-devel ] [jedit:bugs] #4104 swing look and fee jedit-dev Dan Wasson vi