diff options
| author | Jack Lloyd <[email protected]> | 2015-12-30 23:35:16 -0500 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2015-12-30 23:35:16 -0500 |
| commit | d4915aa4cd9c11879780267413f2980d0014240e (patch) | |
| tree | 8663a7cde0ad9f7fc632c6c2f5ce33a733f8ed26 /src/scripts/update_docs.py | |
| parent | d27416e791c9aed684efe0d6071fe66a43cf7af0 (diff) | |
Avoid having Command* objects be created until requested.
Avoids various static init and destruction hassles.
Diffstat (limited to 'src/scripts/update_docs.py')
0 files changed, 0 insertions, 0 deletions