Skip to content
This repository was archived by the owner on Jan 13, 2021. It is now read-only.

Packaging improvements #176

Merged
merged 4 commits into from
Oct 29, 2015
Merged

Packaging improvements #176

merged 4 commits into from
Oct 29, 2015

Conversation

Lukasa
Copy link
Member

@Lukasa Lukasa commented Oct 29, 2015

Resolves #175.

@koobs, care to take a look at this and confirm it works fine for you? It's certainly working fine for me, but sometimes stuff goes wrong, so...

@Lukasa Lukasa mentioned this pull request Oct 29, 2015
3 tasks
Lukasa added a commit that referenced this pull request Oct 29, 2015
@Lukasa Lukasa merged commit b062664 into development Oct 29, 2015
@Lukasa Lukasa deleted the packaging-improvements branch October 29, 2015 05:32
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.

1 participant