Caesar Kabalan
|
fe6dfe2faa
|
Add PuTTY-related lines to update_all.py
update_all.py is used to keep all color schemes in sync. Added lines to
call xrdb2putty.py when other scripts are called.
|
2016-12-23 20:12:50 -07:00 |
|
Caesar Kabalan
|
6ac0915906
|
Add +x permission to two python tools.
All other tools in the /tools/ directory had the +x permission so
changed genMD.py and update_all.py to match.
|
2016-12-23 20:10:57 -07:00 |
|
Nicolas Cornette
|
4e9224e2f0
|
add update_all.py script, update all
|
2016-10-17 15:17:40 +02:00 |
|