jedit-devel

2021-04-01 - 2021-05-01 (25 messages)

2021-03-01 - 2021-04-01 (20 messages)

2021-02-01 - 2021-03-01 (9 messages)

  1. 2021-03-26  [1] [ jEdit-devel ] [jedit:plugin-central-submission] #10 jedit-dev Matthieu Casa
  2. 2021-03-23  [1] [ jEdit-devel ] New Plugin/Plugin Port: Vimulator     jedit-dev Niels_Mündle
  3. 2021-03-23  [4] [ jEdit-devel ] =?utf-8?q?FlatLaf_1=2E0_is_here_=F0=9 jedit-dev Matthieu Casa
  4. 2021-03-23  [6] [ jEdit-devel ] Reform of macOS app wrapper           jedit-dev Makarius 
  5. 2021-03-23  [2] Re: [ jEdit-devel ] Revisiting Moving to Git (NOT Git jedit-dev Vampire 
  6. 2021-03-23  [4] [ jEdit-devel ] Time to refactor ?                    jedit-dev Vampire 
  7. 2021-03-20  [1] [ jEdit-devel ] UNSUBSCRIBE                           jedit-dev Richard Steig
  8. 2021-03-14  [1] [ jEdit-devel ] [jedit:bugs] #4095 Improved File Mana jedit-dev Matthieu Casa