Skip to content

Remove dev-cli and dev-tools directory #1885

@jeromekelleher

Description

@jeromekelleher

It's not really used any more and covers only a very limited amount of the API surface. It's not worth keeping it maintained IMO.

Does anyone else use it?

Metadata

Metadata

Labels

C APIIssue is about the C APIInfrastructure and toolsDevelopment infrastructure and toolsrefactoringIssue is about refactoring existing code

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions