July 2020 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Fri Jul 10 19:27:35 CEST 2020
Ending: Thu Jul 23 10:01:36 CEST 2020
Messages: 6

• [ekdosis] ekdosis 0.99a is out   Robert Alessi
  • [ekdosis] ekdosis 0.99a is out   Dominik Wujastyk
    • [ekdosis] ekdosis 0.99a is out   Robert Alessi
      • [ekdosis] ekdosis 0.99a is out   Dominik Wujastyk
• [ekdosis] font issue in \note*   Juan Acevedo
  • [ekdosis] font issue in \note*   Robert Alessi

Last message date: Thu Jul 23 10:01:36 CEST 2020
Archived on: Thu Jul 23 10:12:11 CEST 2020

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...