master #40
s153070
commented 2020-12-21 18:42:24 +01:00
Contributor
No description provided.
mhanckow
referenced this issue from a commit 2020-12-23 10:50:57 +01:00
Merge pull request 'master' (#40) from s153070/DPRI_doc_20-21:master into master
Reviewed-on: https://git.wmi.amu.edu.pl/bikol/DPRI_doc_20-21/pulls/40
mhanckow
merged commit 4b26539c30 into master 2020-12-23 10:50:57 +01:00
Loading…
Reference in New Issue
Block a user
No description provided.
Delete Branch "s153070/DPRI_doc_20-21:master"
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?