diff options
author | Dieter Plaetinck <dieter@plaetinck.be> | 2009-04-08 22:07:11 +0200 |
---|---|---|
committer | Dieter Plaetinck <dieter@plaetinck.be> | 2009-04-08 22:07:11 +0200 |
commit | 31f0417d93ece43cbddb8ada12301f8112d5e351 (patch) | |
tree | c0911acab353baa424a7dead2196bc07e640182a /src/core/procedures/interactive | |
parent | c19ef714b029977a2113f9b79bc76cfab512ae28 (diff) |
sorry i was wrong in the previous commit. restoring first fix...
Diffstat (limited to 'src/core/procedures/interactive')
0 files changed, 0 insertions, 0 deletions