Skip to content

Commit

Permalink
dependency_support/ortools: remove obsolete patch
Browse files Browse the repository at this point in the history
  • Loading branch information
@proppy
proppy authored Oct 1, 2024
1 parent 9d1b520 commit a101ed2
Showing 1 changed file with 0 additions and 12 deletions.
12 changes: 0 additions & 12 deletions dependency_support/com_google_ortools/scip.patch
View file

This file was deleted.

0 comments on commit a101ed2

Please sign in to comment.