518e995b2c
* update workflow * Format `index.html`, update the URLs, add favicon, various other minor tweaks * Move script into `.github/scripts`, add the package version to documentation path * Split the building and deployment of documentation into its own workflow --------- Co-authored-by: Kirill Mikhailov <konnor1980@yandex.ru>
5 lines
41 B
JSON
5 lines
41 B
JSON
{
|
|
"printWidth": 100,
|
|
"tabWidth": 2
|
|
}
|