flip/real_analysis
1
0
Fork 0
Code Issues 3 Pull Requests Packages Projects 1 Releases Wiki Activity

PR to fix submodule clash between branches #11

Merged
flip merged 3 commits from assignment1 into master 2023-05-12 09:08:49 +02:00
Conversation 0 Commits 3 Files Changed 8 +26 -9
flip commented 2023-05-12 09:08:21 +02:00
Owner
Copy Link

See title.

See title.
flip added 2 commits 2023-05-12 09:08:24 +02:00
Started on 0.3.6, but renamed the file efc93539be
Changed submodule name 756c7feddf
flip added 1 commit 2023-05-12 09:08:40 +02:00
Merge branch 'master' into assignment1 5a9a9d2bc8
flip merged commit 0604c6084e into master 2023-05-12 09:08:49 +02:00
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
Clear labels
Bug
Exam
Feature
Make Assignment
Watch Lecture
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
jenkins flip
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: flip/real_analysis#11
No description provided.
Delete Branch "assignment1"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?