Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in / Register
  • N Nemo
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Graph
    • Compare
  • Issues 54
    • Issues 54
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 23
    • Merge requests 23
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Releases
  • External wiki
    • External wiki
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • NEMO SourcesNEMO Sources
  • Nemo
  • Merge requests
  • !185

Merge branch '113-nemo-compilation-fails-when-model-path-contains-a-directory-name-with-digits-only' into 'branch_4.2'

  • Review changes

  • Download
  • Email patches
  • Plain diff
Merged Guillaume Samson requested to merge cherry-pick-25d5cad7 into branch_4.2 Nov 15, 2022
  • Overview 0
  • Commits 1
  • Pipelines 0
  • Changes 1

Merge branch '113-nemo-compilation-fails-when-model-path-contains-a-directory-name-with-digits-only' into 'branch_4.2'

Resolve "Nemo compilation fails when model path contains a directory name with digits only"

Closes #113 (closed)

See merge request !184 (merged)

(cherry picked from commit 25d5cad7)

3066ddd7 apply suggested patch

Edited Nov 15, 2022 by Guillaume Samson
Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: cherry-pick-25d5cad7