diff options
| author | Tristan Gingold <tgingold@free.fr> | 2017-12-18 19:13:45 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2017-12-20 20:58:40 +0100 |
| commit | 7d1b6da515251a33f10f85793aeb02c60171ca95 (patch) | |
| tree | fcabc4f0310249bd379479141245649430b238ca /src/grt/grt-processes.ads | |
| parent | 6bc6e9b69843f897bf43002c8da58e513db7b6e3 (diff) | |
| download | ghdl-7d1b6da515251a33f10f85793aeb02c60171ca95.tar.gz ghdl-7d1b6da515251a33f10f85793aeb02c60171ca95.tar.bz2 ghdl-7d1b6da515251a33f10f85793aeb02c60171ca95.zip | |
grt-options: extract Parse_Time.
Diffstat (limited to 'src/grt/grt-processes.ads')
0 files changed, 0 insertions, 0 deletions