diff options
| author | Tristan Gingold <tgingold@free.fr> | 2017-12-14 05:29:04 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2017-12-14 05:29:04 +0100 |
| commit | 34a27709dbdffcb2d10bba9972ecab119eeff15e (patch) | |
| tree | 6536f8bc49b8995cd519dd538be023dfc496116c /dist/linux | |
| parent | 11ed6c6f88a063894a114af97c5a8e84bb730927 (diff) | |
| download | ghdl-34a27709dbdffcb2d10bba9972ecab119eeff15e.tar.gz ghdl-34a27709dbdffcb2d10bba9972ecab119eeff15e.tar.bz2 ghdl-34a27709dbdffcb2d10bba9972ecab119eeff15e.zip | |
doc/Makefile: also depends on version.in
Diffstat (limited to 'dist/linux')
0 files changed, 0 insertions, 0 deletions