diff options
| author | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-03 14:58:40 +0100 |
|---|---|---|
| committer | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-03 14:58:40 +0100 |
| commit | 639c585b8eb617057605c4fc6e20cd6ccbf777ad (patch) | |
| tree | 9fd2302de07d8828d208d8f8aa9b2b16fe05e36e /src/core/procedures/interactive | |
| parent | 6e0e1ab2c395ceaadcdde0cf8a4fb8c0bc639265 (diff) | |
fix for notify not defined
Diffstat (limited to 'src/core/procedures/interactive')
0 files changed, 0 insertions, 0 deletions