diff options
| author | Tristan Gingold <tgingold@free.fr> | 2022-05-15 05:56:04 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2022-05-15 05:59:11 +0200 |
| commit | 5c277844959d86991e45e1491a8b52d82150cf9d (patch) | |
| tree | 9911e8a07531d9f7212e11e18fe2c3612b9e6935 /src/lists.ads | |
| parent | 511075ef4fee902e256551cb31b913de569016f3 (diff) | |
| download | ghdl-5c277844959d86991e45e1491a8b52d82150cf9d.tar.gz ghdl-5c277844959d86991e45e1491a8b52d82150cf9d.tar.bz2 ghdl-5c277844959d86991e45e1491a8b52d82150cf9d.zip | |
grt: add grt-readline_gnu and grt-readline_none
grt-readline is now a renaming of grt-readline_gnut
Diffstat (limited to 'src/lists.ads')
0 files changed, 0 insertions, 0 deletions