ci: add a simple line length tool to check docs.md

This commit is contained in:
Don Alfons Nisnoni 2020-02-20 20:41:03 +08:00 committed by GitHub
parent 6f7c103e50
commit 20d900a21d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 41 additions and 0 deletions

1
.gitignore vendored
View file

@ -7,6 +7,7 @@ fns.txt
/v.c
/v.*.c
/v.c.out
/cmd/tools/check-md
/cmd/tools/performance_compare
/cmd/tools/oldv
/cmd/tools/vrepl