jedit-devel

2020-07-01 - 2020-08-01 (4 messages)

2020-06-01 - 2020-07-01 (42 messages)

2020-05-01 - 2020-06-01 (67 messages)

  1. 2020-06-27  [1] [ jEdit-devel ] [jedit:plugin-bugs] #1882 Templates 5 jedit-dev JD Margulici 
  2. 2020-06-22  [3] [ jEdit-devel ] [jedit:patches] Re: #624 Patch for Ma jedit-dev Heklaz via jE
  3. 2020-06-21 [16] Re: [ jEdit-devel ] [jedit:plugin-central-submission] jedit-dev Eric Le Lay v
  4. 2020-06-10  [8] [ jEdit-devel ] Releasing jEdit 5.6                   jedit-dev Matthieu Casa
  5. 2020-06-09  [4] [ jEdit-devel ] [jedit:patches] #624 Patch for MacOSX jedit-dev Dale Anson vi
  6. 2020-06-09  [1] [ jEdit-devel ] [jedit:bugs] #4088 Odd notion of Misc jedit-dev Matthieu Casa
  7. 2020-06-08  [1] [ jEdit-devel ] [jedit:bugs] #4096 Markdown Sidekick  jedit-dev Matthieu Casa
  8. 2020-06-05  [1] Re: [ jEdit-devel ]  =?utf-8?q?A_word_on_plugin_repos jedit-dev Matthieu Casa
  9. 2020-06-04  [5] [ jEdit-devel ] [jedit:jeditlauncher-bugs] #50 jEdit  jedit-dev Agas Renoir v
 10. 2020-06-02  [2] [ jEdit-devel ] A word on plugin repositories hosting jedit-dev Eric Le Lay