diff options
| author | Dieter Plaetinck <dieter@plaetinck.be> | 2008-12-09 16:31:29 +0100 |
|---|---|---|
| committer | Dieter Plaetinck <dieter@plaetinck.be> | 2008-12-09 16:31:29 +0100 |
| commit | 28a30437a766edfadbf0befee8701e803febd9e9 (patch) | |
| tree | 455af5b24aa486c258983ce5afe4ffc82a4fa797 /src/core/procedures/interactive | |
| parent | 6edf983eef653bb64cbd6370e806eb069cc1219a (diff) | |
endless loop fix
Diffstat (limited to 'src/core/procedures/interactive')
0 files changed, 0 insertions, 0 deletions