Hornwitser 70ad295a89 Rename Master to Controller ...

The role of the master server as the party controlling every part of the
cluster is not well reflected in its name and has caused confusion among
users on several occasions.  Rename master to controller to better
reflects its role.

2023-02-22 15:30:51 +01:00

..

module.json

Replace spaces with tabs for Lua, and more (#399)

2021-07-13 17:18:44 +02:00

sync.lua

Rename Master to Controller

2023-02-22 15:30:51 +01:00