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

Add Debian repository description #5

Merged
merged 1 commit into from
Mar 10, 2017
Merged

Add Debian repository description #5

merged 1 commit into from
Mar 10, 2017

Conversation

vigsterkr
Copy link
Member

@karlnapf plz review

@vigsterkr vigsterkr merged commit c5dac05 into master Mar 10, 2017
@vigsterkr vigsterkr deleted the debian branch March 10, 2017 11:22
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.

2 participants