Eitan Adler eac1d5f88c Tools: add LEGALlint ...

This checks 'LEGAL' for common errors, It is inspired by MOVEDLint.

2018-05-27 05:02:06 +00:00

..

scripts

Tools: add LEGALlint

2018-05-27 05:02:06 +00:00

make_index

…

make_readmes

…