diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-04-04 14:15:57 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-04-04 14:15:57 -0700 |
| commit | 2e989babe021ee8b08d3d75917e74f8f8b2c334a (patch) | |
| tree | 39c53444b73d7bdd9fb8604184eda2601c0ca543 /tools/shared.py | |
| parent | a61d054621e06f41dd760552a6db3d2a38006f90 (diff) | |
| parent | d43e5283a483e43d31dae1c8236f3499e4bbd577 (diff) | |
Merge pull request #1029 from waywardmonkeys/fix-get-configuration
Make get_configuration() a global.
Diffstat (limited to 'tools/shared.py')
0 files changed, 0 insertions, 0 deletions