diff options
| author | Tristan Gingold <tgingold@free.fr> | 2019-11-06 19:25:48 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2019-11-06 19:25:48 +0100 |
| commit | 3a49c7ff29374c6f085e2d9dc46b200afbfc9a2c (patch) | |
| tree | ce3a3827b3a75f9a4114323c7f9dfc9e8d004204 /src/grt/grt-errors.ads | |
| parent | e1696a45ccf414f0c22d64176a71f8f64472a1d6 (diff) | |
| download | ghdl-3a49c7ff29374c6f085e2d9dc46b200afbfc9a2c.tar.gz ghdl-3a49c7ff29374c6f085e2d9dc46b200afbfc9a2c.tar.bz2 ghdl-3a49c7ff29374c6f085e2d9dc46b200afbfc9a2c.zip | |
files_map-editor: turn Replace_Text to a function.
Diffstat (limited to 'src/grt/grt-errors.ads')
0 files changed, 0 insertions, 0 deletions