Skip to content
This repository was archived by the owner on May 31, 2023. It is now read-only.

add tags #64

Merged
merged 1 commit into from
Jun 15, 2018
Merged

add tags #64

merged 1 commit into from
Jun 15, 2018

Conversation

paulfantom
Copy link
Member

add tags to allow running only parts of setup

@paulfantom paulfantom merged commit b414294 into master Jun 15, 2018
@paulfantom paulfantom deleted the add_tags branch June 15, 2018 08:33
@lock
Copy link

lock bot commented Mar 24, 2019

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.

@lock lock bot locked and limited conversation to collaborators Mar 24, 2019
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