diff options
author | Dieter Plaetinck <dieter@plaetinck.be> | 2010-12-28 17:24:07 +0100 |
---|---|---|
committer | Dieter Plaetinck <dieter@plaetinck.be> | 2010-12-28 17:24:07 +0100 |
commit | febffe7a9f6d7dd27eb7e382e11ea9fbda62bb26 (patch) | |
tree | 427d8d1aa588fc18292675f286dd39d2ec314d3a /src/core/procedures/base | |
parent | 169ae4f53306aa3c851dcdafb6cc07ccb1cfb514 (diff) |
make prefill_configs() handle -rare- cases where it gets run multiple times
Diffstat (limited to 'src/core/procedures/base')
0 files changed, 0 insertions, 0 deletions