ionide / ionide/playground

Does the Gitpod work anymore?

Open
#1 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Dockerfile
Stars
14
Forks
14
No merged PRs in 30d

Description

![image](https://user-images.githubusercontent.com/19922066/138828736-dc828bcd-8130-4eb4-a50d-d697c285ca8e.png)

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.