| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | doc/tools/print_keys.py: print mouse events too | hut | 2015-09-20 | 1 | -1/+7 |
| | | |||||
| * | add .paperinfo->.metadata.json conversion script | hut | 2015-01-17 | 1 | -0/+69 |
| | | |||||
| * | doc/tools/print_colors.py: more stable in unfriendly environments | hut | 2013-11-12 | 1 | -4/+12 |
| | | |||||
| * | move doc/print_{colors,keys}.py to doc/tools/ | hut | 2013-03-09 | 2 | -0/+37 |