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

Fix catalog directory #14

Merged
merged 2 commits into from
Feb 13, 2022
Merged

Fix catalog directory #14

merged 2 commits into from
Feb 13, 2022

Conversation

cgay
Copy link
Member

@cgay cgay commented Feb 12, 2022

Fix catalog directory and delete conversion tool.

Before submitting the actual catalog I had to test with DYLAN_CATALOG=
so I missed this bug.
@cgay cgay merged commit afd793e into dylan-lang:master Feb 13, 2022
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.

1 participant