diff options
| author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2008-01-09 14:35:23 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2008-01-09 14:35:23 (GMT) |
| commit | 2b0b83aa096df328de968ba0a5beb26598bbbd15 (patch) | |
| tree | 55a3c98e515ba9a0356a09b51fd8ee7fbfd0087e /shell | |
| parent | f00eada898fa602857d2e43eeae8513541d3e301 (diff) | |
Patch by cscott to load the profile keys lazily.
Some style and pylint complaints fixes by me.
Fix #5538
Diffstat (limited to 'shell')
0 files changed, 0 insertions, 0 deletions