chore(canteen-renaming):Renamed Cafeteria -> Canteen in public-facing contexts#205

Merged

CommanderStorm merged 3 commits intomainfrom chore/canteen-renaming-1

Sep 18, 2023

+1,269-1,427

Commits on Sep 18, 2023

renamed cafeteria -> canteen in all publicly accessible interfaces

CommanderStorm
authored and
tobiasjungmann
committed
fixed the exported json sometimes having the wrong content

CommanderStorm
authored and
tobiasjungmann
committed
regenerated proto files after rebasing
tobiasjungmann
committed