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

Open

Labels

Sooner rather than Later

opened

on May 26, 2022

There are notes about "Devserver prereqs" in https://github.com/facebookresearch/diffkt/blob/main/cpp/ops/README.md. Such notes should be removed.

Metadata

Assignees

No one assigned

Labels

Sooner rather than Later

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests