This repository was archived by the owner on Oct 31, 2023. It is now read-only.
This repository was archived by the owner on Oct 31, 2023. It is now read-only.
"Devserver" doesn't mean anything to open-source external people #56
There are notes about "Devserver prereqs" in
https://github.com/facebookresearch/diffkt/blob/main/cpp/ops/README.md. Such notes should be removed.