diff options
author | sinanmohd <sinan@sinanmohd.com> | 2024-08-18 06:09:31 +0530 |
---|---|---|
committer | sinanmohd <sinan@sinanmohd.com> | 2024-08-18 06:09:31 +0530 |
commit | 0104b24ebd524752b92ebe88fd6ac3adc3517aa9 (patch) | |
tree | de3aae7a90e3322a0bb77bbcb63610891ca13d2c /.gitignore | |
parent | 3a00df97d6d1fa5a77af1953f1b23b2de7298eaa (diff) |
evanix: use highs by default
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions