diff options
| author | Bradley Sepos <[email protected]> | 2020-08-01 09:23:25 -0400 |
|---|---|---|
| committer | Damiano Galassi <[email protected]> | 2020-08-05 12:32:23 +0200 |
| commit | ffe471d69837ac9ca8b1a83b565e50e9e60efd78 (patch) | |
| tree | 67930fc2fa6a77b25ef2a5d50dc4d31b901572f9 /.gitmodules | |
| parent | 36ed8f5592e1cd54fff41ce3756dc7ac1b9254a6 (diff) | |
build: make: Use proper comparison operator in configure.py.
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions