Skip to content

Commit

Permalink
Merge branch 'patch' into ortools
Browse files Browse the repository at this point in the history
  • Loading branch information
dguittet committed Apr 22, 2024
2 parents 6f3cfe3 + 1ea78b8 commit b6c8964
Show file tree
Hide file tree
Showing 3 changed files with 22 additions and 20 deletions.
1 change: 1 addition & 0 deletions .gitattributes
Expand Up @@ -28,6 +28,7 @@ build_*/* linguist_generated=true
*.h text
*.csv text
*.lk text
*.json text

# Ensure those won't be messed up with
*.jpg binary
Expand Down

0 comments on commit b6c8964

Please sign in to comment.