diff options
| author | Tristan Gingold | 2016-01-19 20:25:25 +0100 |
|---|---|---|
| committer | Tristan Gingold | 2016-01-19 20:25:25 +0100 |
| commit | e6eba88e0774788dbc5eda75659257bb5abb28d2 (patch) | |
| tree | c8cc301eb30fccc41b8041966d6c66a0a9c3f21b /src/grt/grt-options.ads | |
| parent | cad4bda6a8c85c8103216324307206197152c417 (diff) | |
| download | ghdl-e6eba88e0774788dbc5eda75659257bb5abb28d2.tar.gz ghdl-e6eba88e0774788dbc5eda75659257bb5abb28d2.tar.bz2 ghdl-e6eba88e0774788dbc5eda75659257bb5abb28d2.zip | |
Adjust README (add quote).
Diffstat (limited to 'src/grt/grt-options.ads')
0 files changed, 0 insertions, 0 deletions