diff options
| author | Eduardo Julian | 2018-07-13 22:01:32 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-07-13 22:01:32 -0400 |
| commit | 69fefab57c40f323d759dc444dbcebad15071585 (patch) | |
| tree | db08a3ea37c7818c8a98fc995d3c19440141b700 /.gitignore | |
| parent | 6acf4ffc362c0f8ef77d96f8cfe991adb2d9a0eb (diff) | |
Re-named "Bool" type to "Bit".
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions