diff options
| author | Tristan Gingold <tgingold@free.fr> | 2020-06-03 08:17:41 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2020-06-04 13:39:08 +0200 |
| commit | f32435e68c434138e84af286ec8206ebd42c238d (patch) | |
| tree | ae462e62703bbc9650bb4ed92d6ab73d3babf7cd /src/grt/grt-processes.ads | |
| parent | 648f428ad184f0e47cf8690d3d3a575df927f1d7 (diff) | |
| download | ghdl-f32435e68c434138e84af286ec8206ebd42c238d.tar.gz ghdl-f32435e68c434138e84af286ec8206ebd42c238d.tar.bz2 ghdl-f32435e68c434138e84af286ec8206ebd42c238d.zip | |
Makefile.in: always add src/synth to the include path.
Diffstat (limited to 'src/grt/grt-processes.ads')
0 files changed, 0 insertions, 0 deletions