| commit | e19391fdb74621eb43e5ae21b8c52adfbb9921ce | [log] [tgz] |
|---|---|---|
| author | Zesstra <zesstra@zesstra.de> | Sun Aug 09 13:40:12 2020 +0200 |
| committer | Zesstra <zesstra@zesstra.de> | Mon Sep 28 21:33:39 2020 +0200 |
| tree | c95598dea46af2a02fbf8dd65614faf4235d870a | |
| parent | fbfe6365279537a640f015e9c65ff25ef50d7348 [diff] |
Master in Supervisor umbenannt. Wir haben viel zu viele Master speziell in diesem Kontext (Mudlib-Master, Ebenen-Master, Master fuer jede Ebene, die auch Ebenen-Master heissen...). Ausserdem ist Supervisor ohnehin der unproblematischere Begriff. Change-Id: Iae98ccbddd3919d4f5710a6b29cd710235579ae0