Skip to content
This repository was archived by the owner on Mar 16, 2025. It is now read-only.

Mapping format identifier #9

Merged
merged 2 commits into from
Jun 19, 2020
Merged

Mapping format identifier #9

merged 2 commits into from
Jun 19, 2020

Conversation

hauner
Copy link
Member

@hauner hauner commented Jun 19, 2020

resolves #2

@hauner hauner merged commit 496b076 into master Jun 19, 2020
@hauner hauner deleted the mapping-format-identifier branch June 19, 2020 13:05
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.

rename mapping format identifier
1 participant