master #21
s439546
commented 2020-11-23 12:59:57 +01:00
Contributor
No description provided.
mw
referenced this issue from a commit 2020-11-23 13:00:16 +01:00
Merge pull request 'master' (#21) from s439546/DPRI_doc_20-21:master into master
Reviewed-on: https://git.wmi.amu.edu.pl/bikol/DPRI_doc_20-21/pulls/21
mw
merged commit cdb1759a36 into master 2020-11-23 13:00:16 +01:00
Loading…
Reference in New Issue
Block a user
No description provided.
Delete Branch "s439546/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?