DroidStar/DroidStar.code-workspace at fd39a288680ad381f0b78df1d2b45730dd5c9bd6 - DroidStar - Cheetah's Git: always better than github

You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

10 lines

95 B

Plaintext

Raw Blame History

 {
 	"folders": [
 		{
 			"path": "."
 		}
 	],
 	"settings": {
 		"git.ignoreLimitWarning": true
 	}
 }