1

git tag -d "tag_name"

2

git push --delete origin "tag_name"

1

((invertImages, invertCode, applyBlackBackground) => {

2

	document.body.style.filter = "invert()"

3

	document.body.style.background = applyBlackBackground ? "black" : "white"

4

	Array.from(document.querySelectorAll("pre")).map(pre => pre.style.filter = invertCode ? "invert()" : null)

5

	Array.from(document.querySelectorAll("img")).map(img => img.style.filter = invertImages ? "invert()" : null)

1

# PowerShell Tips

2

3

## `Write-Host` vs `Write-Output`

4

5

`Write-Host` writes directly to the console; `Write-Output` writes to the pipeline, which often ends up to the console but not necessarily.

1

using System.Runtime.CompilerServices;

2

3

static class Program {

4

	class Symbol {

5

		public readonly string DebugName;