[education/kstars] /: Add a new not-default scheduler option to disable greedy scheduling.

Git commit 75d45b64e9a3bbc19df16f6e42eaf9a77932fbbe by Hy Murveit. Committed on 11/11/2023 at 21:36. Pushed by wreissenberger into branch 'master'. Add a new not-default scheduler option to disable greedy scheduling. M +80 -1Tests/kstars_ui/test_ekos_scheduler_ops.cpp M +4-1

[games/skladnik] /: Rename to Skladnik

Git commit e24b6a536bff9b3ada902aec077cf1272af8cec4 by Luigi Toscano, on behalf of Friedrich W. H. Kossebau. Committed on 11/11/2023 at 10:58. Pushed by kossebau into branch 'master'. Rename to Skladnik M +1-1CMakeLists.txt M +1-1doc/CMakeLists.txt M +14 -13