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

Replace jsonnet by starlark #24

Merged
merged 1 commit into from Sep 16, 2019
Merged

Replace jsonnet by starlark #24

merged 1 commit into from Sep 16, 2019

Conversation

tboerger
Copy link
Contributor

No description provided.

@tboerger tboerger merged commit 2088bcc into master Sep 16, 2019
@delete-merged-branch delete-merged-branch bot deleted the improve-config branch September 16, 2019 22:26
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.

None yet

1 participant