diff options
| author | Nadrieril | 2019-04-18 12:01:21 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-18 12:01:21 +0200 |
| commit | 546fc00e893ba214b7731c95cfaf493644b50447 (patch) | |
| tree | 37737ed7a0005c60ca29c85f1eeaf7755abb8515 /.gitignore | |
| parent | bb1f698c23a83f60020a72bb5be1f9a386c60d44 (diff) | |
Consistent type variable naming
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions