diff options
author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2018-12-02 00:07:42 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-12-02 00:07:42 +0000 |
commit | 8a5c9882cbf0e126e83f63a6f16ab8f3d640269b (patch) | |
tree | f3f12889fb1e346f8453dbf35c322a139da99544 /nixos/modules/misc | |
parent | a7425983783acd2948ba56d4af5dad5fb0903f41 (diff) | |
parent | cd14ad53c324b1461d140247f0eb7cdc851a0f98 (diff) |
Merge pull request #51336 from dtzWill/update/or-tools-6.10
or-tools: v6.9.1 -> v6.10, touchups
Diffstat (limited to 'nixos/modules/misc')
0 files changed, 0 insertions, 0 deletions