14 Commits

Include renames

Author	SHA1	Message	Date
undefined	7358d427e0	fps-importer: allow setting	2024-03-18 05:21:09 +08:00
undefinedandpanda	a56b1650be	upgrade to cordis v3 (#733) ... Co-authored-by: panda <panda_dtdyy@outlook.com>	2024-03-07 01:32:58 +08:00
undefined	b8ff0c26d8	fps-importer: add support for hustoj [md] tag	2024-01-25 22:52:26 +08:00
panda	ed396dc529	fps-importer: fix remote_oj import (#668)	2023-10-12 00:52:48 +08:00
undefined	42e2151c42	ui: import: add rename support	2023-06-07 14:54:23 +08:00
undefined	838594530f	fps-importer: allow importing remote_judge config	2023-04-11 22:51:57 +08:00
undefined	40edf9ab3a	fps: allow empty file	2022-12-22 22:56:45 +08:00
undefined	9901de944f	ui: optimize fps problem display	2022-11-25 18:10:42 +08:00
undefined	f80c3426fc	fps-import: ignore file not exist	2022-11-10 14:27:27 +08:00
undefined	88613c8a05	fps-import: support fps version 1.4	2022-11-10 13:33:49 +08:00
undefined	d7908aaff6	core: small enhancements	2022-11-08 00:25:04 +08:00
undefined	1210957a2a	bug fixes	2022-10-05 17:20:37 +08:00
undefined	8cffe19609	workspace: upgrade deps	2022-10-04 21:31:58 +08:00
undefined	70a96aecac	core: use common plugin-api interface	2022-09-30 19:02:40 +08:00