diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-04-09 14:21:19 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-04-09 17:26:56 -0700 |
| commit | f643819fc1cffbd522d62512a0f23db0228fdcf7 (patch) | |
| tree | 58bc029f45f482e015171427dc1ff06c8f46c0e8 /tools/shared.py | |
| parent | c44aaae800adb84de2ae892e1eae77720118d8cf (diff) | |
always load memory initializer asynchronously, to keep shell and web as similar as possible
Diffstat (limited to 'tools/shared.py')
0 files changed, 0 insertions, 0 deletions