Skip to content
This repository has been archived by the owner on Jul 19, 2023. It is now read-only.

fix-10-cannot-rename-current-mpi #74

Merged
merged 7 commits into from
Jul 21, 2017

Commits on Jul 21, 2017

  1. fixed tests

    keisukefukuda committed Jul 21, 2017
    Configuration menu
    Copy the full SHA
    d7c996b View commit details
    Browse the repository at this point in the history
  2. test fix for Python 2

    keisukefukuda committed Jul 21, 2017
    Configuration menu
    Copy the full SHA
    cee48bd View commit details
    Browse the repository at this point in the history
  3. minor fix

    keisukefukuda committed Jul 21, 2017
    Configuration menu
    Copy the full SHA
    1f47c7b View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    056b4f0 View commit details
    Browse the repository at this point in the history
  5. minor fix

    keisukefukuda committed Jul 21, 2017
    Configuration menu
    Copy the full SHA
    8dc9237 View commit details
    Browse the repository at this point in the history
  6. minor fix

    keisukefukuda committed Jul 21, 2017
    Configuration menu
    Copy the full SHA
    678a68b View commit details
    Browse the repository at this point in the history
  7. minor fix

    keisukefukuda committed Jul 21, 2017
    Configuration menu
    Copy the full SHA
    7c28b42 View commit details
    Browse the repository at this point in the history