UBB/sort
1
0
Fork 0
Code Issues Pull Requests Releases 3 Activity

makefiles changes and gitignore #1

Merged
cromer merged 2 commits from dev into master 2018-11-05 15:17:41 -03:00
Conversation 0 Commits 2 Files Changed 2 +17 -2
cromer commented 2018-11-05 15:16:12 -03:00
Owner
Copy Link
No description provided.
cromer closed this pull request 2018-11-05 15:17:41 -03:00
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
Clear labels
TODO
things to do
No Label
Milestone
No items
No Milestone
Assignees
Clear assignees
cromer
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: UBB/sort#1
No description provided.
Delete Branch "dev"

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?