Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: GAMS-dev/TIMES_MIRO
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: 79aa450
Choose a base ref
...
head repository: GAMS-dev/TIMES_MIRO
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: f89d76a
Choose a head ref
  • 6 commits
  • 4 files changed
  • 2 contributors

Commits on Dec 15, 2021

  1. Fix file casing

    - there was an issue when the dd file casing differed between the real filenames and the filenames mentioned in the run file
    rschuchmann committed Dec 15, 2021
    Configuration menu
    Copy the full SHA
    6ef2758 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    a7439a9 View commit details
    Browse the repository at this point in the history
  3. Update MIRO app

    rschuchmann committed Dec 15, 2021
    Configuration menu
    Copy the full SHA
    1e4437c View commit details
    Browse the repository at this point in the history
  4. Update MIRO app

    - Fix issue with capitalization of times_model subdirectory
    rschuchmann committed Dec 15, 2021
    Configuration menu
    Copy the full SHA
    de60446 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    320808d View commit details
    Browse the repository at this point in the history
  6. Merge pull request #30 from rschuchmann/fix-file-casing

    Fix file casing
    FFiand authored Dec 15, 2021
    Configuration menu
    Copy the full SHA
    f89d76a View commit details
    Browse the repository at this point in the history
Loading