move "2D collisions.pdf" into wiki repo #7

Closed
opened 2024-07-12 18:31:01 +02:00 by djmil · 1 comment
Owner

all heavy, non essential document - like files has to go to Wiki repo

all heavy, non essential document - like files has to go to Wiki repo
djmil added this to the pages milestone 2024-07-12 18:31:12 +02:00
Author
Owner

git recommends using the third-party add-on git-filter-repo:

# removes file from all commits in all branches
git filter-repo --invert-paths --path <path to the file or directory>

Installation

`git` recommends using the third-party add-on [git-filter-repo](https://github.com/newren/git-filter-repo): ```bash # removes file from all commits in all branches git filter-repo --invert-paths --path <path to the file or directory> ``` [Installation](https://github.com/newren/git-filter-repo/blob/main/INSTALL.md)
djmil added reference Collisions2D-#7 2024-07-12 19:59:09 +02:00
djmil self-assigned this 2024-07-12 19:59:37 +02:00
djmil closed this issue 2024-07-12 20:16:32 +02:00
djmil referenced this issue from a commit 2024-07-12 20:16:32 +02:00
djmil removed reference Collisions2D-#7 2024-07-12 20:17:44 +02:00
Sign in to join this conversation.
No Milestone
No project
No Assignees
1 Participants
Notifications
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: djmil/egui-circles#7
No description provided.