[Minotaur-dev] [coin-or/minotaur] 7b19cb: include file suffix in run script

[Ashutosh Mahajan]

  Branch: refs/heads/master
  Home:   https://github.com/coin-or/minotaur
  Commit: 7b19cb84dd7b0f7c3c047cbea8a9955bd66c0990
      https://github.com/coin-or/minotaur/commit/7b19cb84dd7b0f7c3c047cbea8a9955bd66c0990
  Author: Ashutosh Mahajan <amahajan at iitb.ac.in>
  Date:   2024-01-21 (Sun, 21 Jan 2024)

  Changed paths:
    M scripts/run.sh

  Log Message:
  -----------
  include file suffix in run script