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.

None yet

2 participants