diff --git a/frontend/packages/dashboard/src/core.html b/frontend/packages/dashboard/src/core.html index 118afcf9..6fade074 100644 --- a/frontend/packages/dashboard/src/core.html +++ b/frontend/packages/dashboard/src/core.html @@ -71,19 +71,13 @@ - +

kept state from previously tombstoned agents — recreating an agent with the same name reuses it.

loading…

-