diff options
| author | Tristan Gingold <tgingold@free.fr> | 2023-04-24 18:19:01 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2023-04-24 18:19:01 +0200 |
| commit | c302870a98bec0fa265cf92cec69e7807b1d09bd (patch) | |
| tree | 838c143be39ee91118537030b41bedf2e0366d34 /src/libraries.ads | |
| parent | b2370744f9f7112c343a86e2e0fe39a433f19006 (diff) | |
| download | ghdl-c302870a98bec0fa265cf92cec69e7807b1d09bd.tar.gz ghdl-c302870a98bec0fa265cf92cec69e7807b1d09bd.tar.bz2 ghdl-c302870a98bec0fa265cf92cec69e7807b1d09bd.zip | |
libraries.adb: allow to purge from any library
Diffstat (limited to 'src/libraries.ads')
0 files changed, 0 insertions, 0 deletions