- From: Simon Pieters via GitHub <sysbot+gh@w3.org>
- Date: Mon, 09 Oct 2023 19:54:24 +0000
- To: public-css-archive@w3.org
> Maybe call this "remove a CSS style sheet" or so? Yes but, again, it's already in the spec :) https://drafts.csswg.org/cssom/#remove-a-css-style-sheet -- GitHub Notification of comment by zcorpan Please view or discuss this issue at https://github.com/w3c/csswg-drafts/pull/9414#issuecomment-1753645967 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 9 October 2023 19:54:25 UTC