Skip to content
This repository has been archived by the owner on Jan 4, 2022. It is now read-only.

Enhancement: Extract specifications #337

Merged
merged 1 commit into from
Oct 4, 2020
Merged

Conversation

localheinz
Copy link
Member

This PR

  • extracts specifications

Follows #326.

@localheinz localheinz self-assigned this Oct 4, 2020
@ergebnis-bot ergebnis-bot self-requested a review October 4, 2020 08:05
@ergebnis-bot ergebnis-bot self-assigned this Oct 4, 2020
@ergebnis-bot ergebnis-bot merged commit 1832627 into main Oct 4, 2020
@ergebnis-bot ergebnis-bot deleted the feature/specification branch October 4, 2020 08:05
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.

2 participants