about summary refs log tree commit diff
path: root/util/export.py
AgeCommit message (Expand)AuthorLines
2019-08-18Ignore lines starting with '#'Jeremy Stucki-1/+12
2019-06-23don't strip blank lines in lint documentationAndy Russell-12/+9
2019-01-08Remove all copyright license headersPhilipp Hansch-11/+0
2018-10-06Add license header to other filesManish Goregaokar-0/+12
2018-04-10Add lint groups to doc exportPascal Hertleif-0/+1
2018-02-01Allow empty lines in lint doc examplesPhilipp Hansch-3/+8
2016-08-07Make Python utils more idiomatic, use better names, fix -c mode of update_wiki.Georg Brandl-127/+29
2016-07-19Fix deploy.sh and python2 usagemcarton-3/+3
2016-07-19Setup automatic push of gh-pagesmcarton-5/+22
2016-07-15HMTL Docs: Add Configuration, Fix Example SectionPascal Hertleif-5/+20
2016-07-14Adjust HTML DocsPascal Hertleif-5/+8
2016-07-12Add First Draft of Lint Listing PagePascal Hertleif-0/+127