diff options
| author | Dieter Plaetinck <dieter@plaetinck.be> | 2010-12-31 11:55:03 +0100 |
|---|---|---|
| committer | Dieter Plaetinck <dieter@plaetinck.be> | 2010-12-31 11:55:03 +0100 |
| commit | 2251caf7180ede8b51f0b60da034ffe08506fc4d (patch) | |
| tree | c221a10d4f76c38bb1ce23f30a2c70ca329c982e /src/user | |
| parent | 4dfd4b7e8a560729ba723c2fa8d74275f128a0a6 (diff) | |
fix numbering in main menu of interactive procedure
Diffstat (limited to 'src/user')
0 files changed, 0 insertions, 0 deletions