diff options
| author | gritbub <38131016+gritbub@users.noreply.github.com> | 2018-06-02 18:33:05 -0500 |
|---|---|---|
| committer | gritbub <38131016+gritbub@users.noreply.github.com> | 2018-06-02 18:33:05 -0500 |
| commit | 522d0f045efdfe404f66df42053f156ec41a0574 (patch) | |
| tree | efb286d00f775750e812070ef068b609afde0746 /doc/building | |
| parent | e2d965ab360ab077b408d4819dd0a2000ff132d8 (diff) | |
| download | ghdl-522d0f045efdfe404f66df42053f156ec41a0574.tar.gz ghdl-522d0f045efdfe404f66df42053f156ec41a0574.tar.bz2 ghdl-522d0f045efdfe404f66df42053f156ec41a0574.zip | |
Replace Minimum with Minimal
Diffstat (limited to 'doc/building')
0 files changed, 0 insertions, 0 deletions