Markus Zolliker db9ce02028 Revert "revert commits done before MZ holidays" ...

This reverts commit d2885bdd72.

2023-08-18 16:32:16 +02:00

..

frappy-cfg-editor

Revert "revert commits done before MZ holidays"

2023-08-18 16:32:16 +02:00

frappy-cli

frappy-cli: fix init(*...)

2023-05-15 11:12:31 +02:00

frappy-gui

fetched mlz version

2023-05-02 15:25:11 +02:00

frappy-play

improve interactive client

2023-05-02 15:54:32 +02:00

frappy-server

Revert "revert commits done before MZ holidays"

2023-08-18 16:32:16 +02:00

make_doc.py

Remove py2 support

2019-09-26 10:32:01 +02:00

secop-convert

converter for creating python config files

2023-01-23 18:00:56 +01:00

sim-server

fetched mlz version

2023-05-02 15:25:11 +02:00