diff options
| author | Emilio Jesus Gallego Arias | 2019-07-23 14:31:59 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-07-23 14:31:59 +0200 |
| commit | de2397e5ed4d050c8bc157803a0d8827b9b0caf9 (patch) | |
| tree | 69949ee40a7fab42c3e63dcacff2ebe2586b6aca /dev | |
| parent | d407d1f3f2f877fca8673eaf0470b3390e55dbaa (diff) | |
[funind] Remove single-shot type alias.
Pointed out by Gaëtan Gilbert.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions