Skip to content
This repository has been archived by the owner on Oct 20, 2021. It is now read-only.

Remove deprecation comment from README #23

Merged
merged 1 commit into from
Mar 4, 2020

Conversation

rapus95
Copy link
Contributor

@rapus95 rapus95 commented Mar 4, 2020

This just reverts the previous commit to stop confusing people 😁

@StefanKarpinski StefanKarpinski merged commit 6b12dc1 into JuliaAttic:master Mar 4, 2020
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.

2 participants