diff options
author | Dieter Plaetinck <dieter@plaetinck.be> | 2009-03-17 21:48:35 +0100 |
---|---|---|
committer | Dieter Plaetinck <dieter@plaetinck.be> | 2009-03-17 21:48:35 +0100 |
commit | 81472eb69c02b643eb0b66b712013f104d060bdf (patch) | |
tree | be670d0425966fb93729296bf08e8744e3345c2a /src/core/procedures/base | |
parent | 49b6cbba082c7d9fd42d1a11713ad71ffebeaf27 (diff) |
slight refactoring of how to run/monitor a program. i quite broke it though
Diffstat (limited to 'src/core/procedures/base')
0 files changed, 0 insertions, 0 deletions