fix: 切换到没有任务的设备后重置设备数

songshankun

2023-11-21 c17dd616160da6b1d177dd34f35e47f986ba2f3c

1
2
3
4
@font-face {
    font-family: "DIN Alternate";
    src: url("./DIN_Alternate.ttf");
}