3 Commits (0d442b5ff22b8d2eae852d7a6cdb2569e1dd4905)

Author SHA1 Message Date
William Casarin f8fa4213f1 tools: use /usr/bin/env bash instead of /bin/bash 7 years ago
Jan Sarenik 9f519afc5d tools/check-includes.sh: shellcheck recommended fixes 7 years ago
practicalswift e078fcefdd Add check-includes.sh: Find redundant includes. Check ifndef:s. 7 years ago