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 /msdos | |
parent | 21df56d56b86b88565ebe9f05f1acbbfd676670f (diff) |
(ada-make-body-gnatstub): Don't use interactive-p.
Diffstat (limited to 'msdos')
0 files changed, 0 insertions, 0 deletions