Convert all of the lobby gifs to either png or webp (#17623)

2026-08-27 06:00:23 +01:00 · 2025-04-28 22:29:03 +02:00
parent d3ef00766b
commit 6b72c09810
46 changed files with 31 additions and 30 deletions
@@ -6,5 +6,6 @@
 	)

 /datum/asset/simple/lobby_files/register()
+	// not actually a gif
 	assets["lobby_bg.gif"] = pick(using_map.lobby_screens)
 	. = ..()