diff options
| author | Tristan Gingold <tgingold@free.fr> | 2018-11-15 04:00:07 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2018-11-15 04:00:07 +0100 |
| commit | e4e670eb2e47caaf643f0aca91ba9a58d2a1e965 (patch) | |
| tree | 1b3346e0209b13692027f03db74934879a409fda /src/options.ads | |
| parent | 79135f7b7eb9ba4547f80a73adb5f5598e51b094 (diff) | |
| download | ghdl-e4e670eb2e47caaf643f0aca91ba9a58d2a1e965.tar.gz ghdl-e4e670eb2e47caaf643f0aca91ba9a58d2a1e965.tar.bz2 ghdl-e4e670eb2e47caaf643f0aca91ba9a58d2a1e965.zip | |
sem_lib: add header.
Diffstat (limited to 'src/options.ads')
0 files changed, 0 insertions, 0 deletions