Skip to content
This repository has been archived by the owner on Sep 4, 2020. It is now read-only.

rename partial files #51

Merged
merged 3 commits into from Dec 20, 2018
Merged

rename partial files #51

merged 3 commits into from Dec 20, 2018

Conversation

erikhofer
Copy link
Contributor

closes #37

@ghost ghost assigned erikhofer Dec 20, 2018
@ghost ghost added the in progress label Dec 20, 2018
@TBestmann TBestmann merged commit ad339fe into master Dec 20, 2018
@ghost ghost removed the in progress label Dec 20, 2018
@TBestmann TBestmann deleted the f37-rename-files branch December 20, 2018 09:40
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Rename partial files
2 participants