#492 by viennet was closed 2022-09-18 16:54:20 +02:00
#443 by viennet was closed 2022-07-16 14:57:10 +02:00
#426 by viennet was closed 2022-07-04 23:51:04 +02:00 ScoDoc 9.3
#422 by viennet was closed 2022-07-02 10:57:55 +02:00
#418 by viennet was closed 2022-07-03 11:49:23 +02:00
#400 by castagnetti was closed 2022-06-24 06:20:50 +02:00