diff options
| author | Eduardo Julian | 2021-09-13 00:34:49 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-13 00:34:49 -0400 |
| commit | 6368253e731bd20b5f9f6891306b8302ec330d38 (patch) | |
| tree | 7193fe97b318a43214f547d0f640a1497d6c5957 /stdlib/source/specification | |
| parent | 376c3e472fbb1e2656f8c61b26e0276570609aa1 (diff) | |
Re-named #Label to #Tag.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions