fi/pushee
Archived
1
0
Fork 0
Code Issues 4 Pull requests Projects Releases Packages Wiki Activity

Diff notes and skeleton #20

Merged
xfocko merged 0 commits from 14-15 into master 2020-06-08 18:06:01 +02:00
Conversation 2 Commits - Files changed -
xfocko commented 2020-06-08 18:05:46 +02:00 (Migrated from gitlab.fi.muni.cz)
Copy link

Closes #14 and #15

Closes #14 and #15
xfocko commented 2020-06-08 18:06:01 +02:00 (Migrated from gitlab.fi.muni.cz)
Copy link

mentioned in commit beac5136d9

mentioned in commit beac5136d9a7eb028773d2cd500c9775dc522bca
xfocko commented 2020-06-08 18:06:01 +02:00 (Migrated from gitlab.fi.muni.cz)
Copy link

merged

merged
This repo is archived. You cannot comment on pull requests.
Reviewers
No reviewers
Labels
Clear labels   
bug

   
Doing

   
pb071

   
To Do
No labels
bug
Doing
pb071
To Do
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
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: fi/pushee#20
No description provided.
Delete branch "14-15"

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?