diff options
Diffstat (limited to 'ports/coinutils/CONTROL')
| -rw-r--r-- | ports/coinutils/CONTROL | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/ports/coinutils/CONTROL b/ports/coinutils/CONTROL deleted file mode 100644 index a242265bf..000000000 --- a/ports/coinutils/CONTROL +++ /dev/null @@ -1,3 +0,0 @@ -Source: coinutils -Version: 2.11.4 -Description: CoinUtils (Coin-or Utilities) is an open-source collection of classes and functions that are generally useful to more than one COIN-OR project |
