]> git.lyx.org Git - lyx.git/history - development/tools/header_check.sh
Customization: correct some color names.
[lyx.git] / development / tools / header_check.sh
2013-05-15 Pavel Sanda* header_check.sh: filter headers; we should suspect...
2013-05-15 Pavel Sanda* header_check.sh: fix error order
2013-05-15 Pavel Sanda* header_check.sh: forgot on exec flag
2013-05-15 Pavel Sanda* header_check.sh: more tweaks
2013-05-15 Pavel Sanda* header_check.sh: Apply new changes from Scott.
2013-05-04 Pavel SandaComment.
2013-05-03 Scott Kostyshakheader_check.sh: allow exclusion of common headers
2013-05-02 Scott KostyshakScript for finding unneeded headers