8000 GitHub · Where software is built
[go: up one dir, main page]

Skip to content
Remove archived and dead tools from "Resources" #331
Open
@Noordsestern

Description

@Noordsestern

The list of tools from the "Resources" list is has mostly dead projects.

Only having checked most of these editor tools, all except RIDE and Robotcode are dead and should be removed or marked as unmaintained:

Image

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels< 32E7 /div>

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions

      0