diff options
author | Tristan Gingold <tgingold@free.fr> | 2019-11-06 19:26:31 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2019-11-06 19:26:31 +0100 |
commit | a9c2b17053a324a92e86dd0e3bc65d34bae08db3 (patch) | |
tree | 4ee7cd7713aa0d8828102b59f012e43bcfc2f099 /src/grt/grt-psl.ads | |
parent | 3a49c7ff29374c6f085e2d9dc46b200afbfc9a2c (diff) | |
download | ghdl-a9c2b17053a324a92e86dd0e3bc65d34bae08db3.tar.gz ghdl-a9c2b17053a324a92e86dd0e3bc65d34bae08db3.tar.bz2 ghdl-a9c2b17053a324a92e86dd0e3bc65d34bae08db3.zip |
files_map: add Discard_Source_File, Free_Source_File,
Diffstat (limited to 'src/grt/grt-psl.ads')
0 files changed, 0 insertions, 0 deletions