diff options
| author | Nadrieril | 2019-03-09 15:46:30 +0100 |
|---|---|---|
| committer | Nadrieril | 2019-03-09 15:46:30 +0100 |
| commit | 6037cb224c5e61828ba41cb3d34438ad03a71403 (patch) | |
| tree | e3ee6d3a5416d60bf7eaedd7407b931b9063d8bb /.gitmodules | |
| parent | a0ac45ccc6bd0168f05626fdf1886560006fcda1 (diff) | |
Remove the pervasive Label type parameter
Closes #1
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions