Repository navigation

Name		Name	Last commit message	Last commit date
parent directory ..
awk		awk
benchmarks/scripts		benchmarks/scripts
bin		bin
ci		ci
docs		docs
git		git
lint		lint
make		make
scripts		scripts
snippets		snippets
test-cov/scripts		test-cov/scripts
tests/scripts		tests/scripts
README.md		README.md
dev.md		dev.md

README.md

Tools

Project development utilities.

This directory contains tools which are used for project development.