Commita865294

authored

Remove git-checkout from lint.sh

Unneeded since9db8afd

1 parent0ae6686 commita865294Copy full SHA for a865294

File tree

-3

lines changed

-3

lines changed

Lines changed: 0 additions & 3 deletions

Original file line number	Diff line number	Diff line change
`@@ -32,9 +32,6 @@ set +e`
`32`	`32`	`sphinx-lint2>$(realpath"$rootdir/logs/sphinxlint.txt")`
`33`	`33`	`set -e`
`34`	`34`
`35`		`-# Undo changes to undo literal blocks disabling`
`36`		`-git checkout.`
`37`		`-`
`38`	`35`	`cd"$rootdir"`
`39`	`36`
`40`	`37`	`# Check of logfile is empty`

Comments

(0)