summary refs log tree commit diff stats
path: root/doc/tools
Commit message (Expand)AuthorAgeFilesLines
* add .paperinfo->.metadata.json conversion scripthut2015-01-171-0/+69
* doc/tools/print_colors.py: more stable in unfriendly environmentshut2013-11-121-4/+12
* move doc/print_{colors,keys}.py to doc/tools/hut2013-03-092-0/+37