diff options
| author | Tristan Gingold | 2015-09-17 08:06:36 +0200 |
|---|---|---|
| committer | Tristan Gingold | 2015-09-17 08:06:36 +0200 |
| commit | e5e1f179fdd64fa1abc89b5a0b00209c0e3bcba7 (patch) | |
| tree | 9bb895e5c8d7df33b2a444a79443bf8381b3edad /src/grt/grt-arch.ads | |
| parent | 6e118c1d32b9a8ad674e765a52f861b2db5b34f5 (diff) | |
| download | ghdl-e5e1f179fdd64fa1abc89b5a0b00209c0e3bcba7.tar.gz ghdl-e5e1f179fdd64fa1abc89b5a0b00209c0e3bcba7.tar.bz2 ghdl-e5e1f179fdd64fa1abc89b5a0b00209c0e3bcba7.zip | |
Fix GRT_EXTRA_LIB, remove grt-arch (unused).
Diffstat (limited to 'src/grt/grt-arch.ads')
| -rw-r--r-- | src/grt/grt-arch.ads | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/grt/grt-arch.ads b/src/grt/grt-arch.ads deleted file mode 100644 index 5f5aa0e..0000000 --- a/src/grt/grt-arch.ads +++ /dev/null @@ -1,2 +0,0 @@ -With Grt.Arch_None; -Package Grt.Arch renames Grt.Arch_None; |