diff options
| author | Devin J. Pohly <djpohly@gmail.com> | 2020-05-02 14:32:23 -0500 |
|---|---|---|
| committer | Devin J. Pohly <djpohly@gmail.com> | 2020-05-02 14:32:23 -0500 |
| commit | 187d25e8381b82bfe727ea2028891958ae543361 (patch) | |
| tree | 6ab5c9d959dee57e390a401f2489885e52eddc89 /.gitignore | |
| parent | d0df4d0d727a0715d68be1c1072917d526d121e1 (diff) | |
style: int instead of bool
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions