Skip to content
This repository has been archived by the owner on Jul 30, 2019. It is now read-only.

Remove generated files #1084

Merged
merged 2 commits into from Nov 26, 2017
Merged

Remove generated files #1084

merged 2 commits into from Nov 26, 2017

Conversation

chaals
Copy link
Collaborator

@chaals chaals commented Nov 26, 2017

A handful of files were accidentally dropped into the wrong branch. Removing them again. Sorry...

@LJWatson LJWatson merged commit 738aaff into master Nov 26, 2017
@edent edent deleted the remove-generated-files branch October 18, 2018 09:16
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants