diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-09-23 16:53:48 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-09-23 16:53:48 -0700 |
| commit | ca912fdf04149416e5762a13c4a25e69f481a4d9 (patch) | |
| tree | 43b10aba02bd165e28562e42c55699ffa773560c /tools/shared.py | |
| parent | 6e8e67dcd1a82b4beae132528e6e7b08d14edd09 (diff) | |
sort target labels in switches so output is consistently ordered
Diffstat (limited to 'tools/shared.py')
0 files changed, 0 insertions, 0 deletions