diff options
| author | Tristan Gingold | 2015-09-13 19:09:21 +0200 |
|---|---|---|
| committer | Tristan Gingold | 2015-09-13 19:09:21 +0200 |
| commit | 0af83126cae63e9bd71deb924ca1b81c57e590d3 (patch) | |
| tree | ce41768340ab932cf0b6e08ac31580c035c46c1d /src/grt/grt-options.ads | |
| parent | 98ebbb21cd95cc467ddee8efd0de2cfc5a515180 (diff) | |
| download | ghdl-0af83126cae63e9bd71deb924ca1b81c57e590d3.tar.gz ghdl-0af83126cae63e9bd71deb924ca1b81c57e590d3.tar.bz2 ghdl-0af83126cae63e9bd71deb924ca1b81c57e590d3.zip | |
Remove unused files (were for stack switching).
Diffstat (limited to 'src/grt/grt-options.ads')
0 files changed, 0 insertions, 0 deletions