diff options
| author | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-03 22:17:00 +0100 |
|---|---|---|
| committer | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-03 22:17:00 +0100 |
| commit | 6835292c015be39be8338e1c178513ea9f8dfd60 (patch) | |
| tree | 4adf3a018ab1decbb22c444ffe3e8690d5b43c92 /src/core/procedures/interactive | |
| parent | 83eef977a27c2216ea8c9a42ab17e8f18677a4c7 (diff) | |
allow passing of parameters for workers/phases
Diffstat (limited to 'src/core/procedures/interactive')
0 files changed, 0 insertions, 0 deletions