diff options
| author | eine <eine@users.noreply.github.com> | 2020-07-13 17:55:47 +0200 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2020-07-19 08:36:52 +0200 |
| commit | 665ee07eb14cf2c238b8de181cf745ac700cf47d (patch) | |
| tree | e5c6cf2072454a7ca9bb1141f2b42ec0e9ed13c3 /Makefile.in | |
| parent | 6e899a1f0143700543d4052a8f82ce19b5c75d2e (diff) | |
| download | ghdl-665ee07eb14cf2c238b8de181cf745ac700cf47d.tar.gz ghdl-665ee07eb14cf2c238b8de181cf745ac700cf47d.tar.bz2 ghdl-665ee07eb14cf2c238b8de181cf745ac700cf47d.zip | |
doc: document synthesis/translate pragmas
Diffstat (limited to 'Makefile.in')
0 files changed, 0 insertions, 0 deletions