diff options
| author | Richard M. Stallman <[email protected]> | 2004-11-01 07:44:08 +0000 |
|---|---|---|
| committer | Richard M. Stallman <[email protected]> | 2004-11-01 07:44:08 +0000 |
| commit | 2dccd96f17987622cd76ca46708ed6cbc67d3255 (patch) | |
| tree | d91697ac8566d5985992712e0e39fcb8bb723f04 /oldXMenu | |
| parent | 21df56d56b86b88565ebe9f05f1acbbfd676670f (diff) | |
(ada-make-body-gnatstub): Don't use interactive-p.
Diffstat (limited to 'oldXMenu')
0 files changed, 0 insertions, 0 deletions