summaryrefslogtreecommitdiff
path: root/devtools/check-forbidden-tokens.awk
AgeCommit message (Expand)Author
2018-11-04devtools: add explicit warnings for forbidden tokensArnon Warshavsky
2018-10-01devtools: move awk script ckecking forbidden tokensArnon Warshavsky