7 Commits

Include renames

Author	SHA1	Message	Date
panda	3ee29da3bd	core: contest: add ledo contest rule (#481)	2023-01-08 22:52:09 +08:00
panda	7c0301c3e0	ui: set mobile logo to 23px height (#453)	2022-10-28 18:22:56 +08:00
undefined	ae00cbc53b	ui: update nav logo renderer	2022-10-27 14:25:42 +08:00
undefined	9b2c36efbf	ui: allow font customization	2022-02-22 00:24:50 +08:00
undefined	e64a443bbb	ui: add contest progress	2021-10-11 20:12:17 +08:00
undefined	0c3847b756	ui: add superuser	2021-08-01 00:50:51 +08:00
undefined	5faa54c7ca	ui-default: init ... 将ui-default合并至主存储库便于维护	2021-04-03 01:44:22 +08:00