diff options
| author | Nadrieril | 2019-03-10 00:14:37 +0100 |
|---|---|---|
| committer | Nadrieril | 2019-03-10 00:14:37 +0100 |
| commit | 19a1b8bfef47fca60ce5efc92ca479a475799d6e (patch) | |
| tree | 174b84bf404a4e30764d1c6df82135239af58349 /.gitignore | |
| parent | 3c5c6b31d3e35219f907499f094643e1bfba5db2 (diff) | |
Use Rc<str> for Label
Closes #18
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions