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 /Makefile | |
parent | d0df4d0d727a0715d68be1c1072917d526d121e1 (diff) |
style: int instead of bool
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions