diff options
| author | Juanma Barranquero <[email protected]> | 2006-12-04 12:32:12 +0000 |
|---|---|---|
| committer | Juanma Barranquero <[email protected]> | 2006-12-04 12:32:12 +0000 |
| commit | ab074cb1be2a73c6a2f0484c5f607ee822d8d29b (patch) | |
| tree | 693ba2767799009a2abb1a4c3cf00172985bd89a /src | |
| parent | 56c5808a5d5964fa24abcb856ddbb5fcc4010d00 (diff) | |
(ada-check-current): Doc fix.
(ada-make-body-gnatstub): Doc fix. Remove redundant `progn'.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions