diff options
| author | Tristan Gingold <tgingold@free.fr> | 2022-05-15 06:12:32 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2022-05-15 13:35:33 +0200 |
| commit | fff9a0420701a1dfb39a64d39ddc5a6967ab384b (patch) | |
| tree | b86a856f832b812e4143742bfe6c56da16d2fd9c /src/grt | |
| parent | 5c277844959d86991e45e1491a8b52d82150cf9d (diff) | |
| download | ghdl-fff9a0420701a1dfb39a64d39ddc5a6967ab384b.tar.gz ghdl-fff9a0420701a1dfb39a64d39ddc5a6967ab384b.tar.bz2 ghdl-fff9a0420701a1dfb39a64d39ddc5a6967ab384b.zip | |
configure: generate grt-readline.ads
Diffstat (limited to 'src/grt')
| -rw-r--r-- | src/grt/grt-readline.ads | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/grt/grt-readline.ads b/src/grt/grt-readline.ads deleted file mode 100644 index 12739f07c..000000000 --- a/src/grt/grt-readline.ads +++ /dev/null @@ -1,2 +0,0 @@ -with Grt.Readline_Gnu; -package Grt.Readline renames Grt.Readline_Gnu; |