- From: Addison Phillips via GitHub <sysbot+gh@w3.org>
- Date: Fri, 01 Jul 2022 16:30:18 +0000
- To: public-i18n-archive@w3.org
The following commits were just pushed by aphillips to https://github.com/w3c/string-search: * Modernization Various changes in preparation for editing this document to address #10. - Updated respec to no longer use respec-common - Removed "conformance" section (since this is Note track) - Some amount of line-joining - Fixed several typos - Copied in shared local.css stylesheet and incorporated the one local style we were using - Copied in our more-modern "special markup" block - Made all references informative by Addison Phillips https://github.com/w3c/string-search/commit/5471c61a7711f0c864a6d9675992d8924642de95 * Use modern meta-charset ... instead of the old http-equiv flavor by Addison Phillips https://github.com/w3c/string-search/commit/9f92e0adb4cb75d909f7867b406946a00268fbe5 * Finished fixing line breaks and editor formatting by Addison Phillips https://github.com/w3c/string-search/commit/bdf4b755acd2b104b75683b9540c4f2c1da05a53 * Merge pull request #11 from aphillips/gh-pages Modernization in preparation to edit by Addison Phillips https://github.com/w3c/string-search/commit/f568fdfaaf3cadfd33681b195c946b25bfd3880b -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Friday, 1 July 2022 16:30:19 UTC