fix run_dumper.bat (wrong path) #5

Open

idom wants to merge 1 commit from idom/RbxDumperV2:dumper-path-fix into main

pull from: idom/RbxDumperV2:dumper-path-fix

merge into: theo:main

theo:main

Conversation 1 Commits 1 Files changed 1 +3 -3

idom commented 2026-09-06 14:18:24 +00:00

Contributor

Copy link

Title says it already. Tiny but annoying issue.

Title says it already. Tiny but annoying issue.

idom added 1 commit 2026-09-06 14:18:24 +00:00

fix run_dumper.bat (wrong path) 4af4d6a1a6

idom commented 2026-09-06 14:19:29 +00:00

Author

Contributor

Copy link

! Standard provided cmake commands included in the readme produces exactly those paths !

! Standard provided cmake commands included in the readme produces exactly those paths !

This pull request has changes conflicting with the target branch.

• run_dumper.bat

View command line instructions

Manual merge helper

Use this merge commit message when completing the merge manually.

Merge commit title Merge pull request 'fix run_dumper.bat (wrong path)' (#5) from idom/RbxDumperV2:dumper-path-fix into main

Merge commit body Reviewed-on: https://git.imtheo.lol/theo/RbxDumperV2/pulls/5

Merge pull request 'fix run_dumper.bat (wrong path)' (#5) from idom/RbxDumperV2:dumper-path-fix into main Reviewed-on: https://git.imtheo.lol/theo/RbxDumperV2/pulls/5 Copy merge commit message

Checkout

From your project repository, check out a new branch and test the changes.

git fetch -u dumper-path-fix:idom-dumper-path-fix

git switch idom-dumper-path-fix

Merge

Merge the changes and update on Forgejo.

Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.

git switch main

git merge --no-ff idom-dumper-path-fix

git switch idom-dumper-path-fix

git rebase main

git switch main

git merge --ff-only idom-dumper-path-fix

git switch idom-dumper-path-fix

git rebase main

git switch main

git merge --no-ff idom-dumper-path-fix

git switch main

git merge --squash idom-dumper-path-fix

git switch main

git merge --ff-only idom-dumper-path-fix

git switch main

git merge idom-dumper-path-fix

git push origin main

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference

theo/RbxDumperV2!5

No description provided.