This repository was archived by the owner on Oct 17, 2024. It is now read-only.

Delete this repo? #3

Open

adrn opened this issue Oct 17, 2024 · 1 comment

adrn commented Oct 17, 2024

It looks like this material got merged into https://github.com/JAXtronomy/jax-astro-guide - can this repo be deleted or archived? @mfouesneau @renecotyfanboy

Collaborator

renecotyfanboy commented Oct 17, 2024

I think it's good to delete

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.