diff options
| author | Nadrieril | 2020-03-17 23:47:35 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-03-17 23:47:58 +0000 |
| commit | 4b29fa3a9e329814c98df3463841eeb288f1630c (patch) | |
| tree | 4c933c9228e74e9b12351ea797c38d161eb6fe80 /.gitmodules | |
| parent | 71fddc59b5b427f52dd2f0cd76f788eb995a4e2e (diff) | |
Remove never_type feature
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions