| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | extensions.json | 169 | logplain |
| -rw-r--r-- | launch.json | 928 | logplain |
| -rw-r--r-- | settings.json | 444 | logplain |
| -rw-r--r-- | tasks.json | 366 | logplain |
| index : odin/ols.git | ||
| Language server for Odin | Daniel Gavin |
| aboutsummaryrefslogtreecommitdiff |
| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | extensions.json | 169 | logplain |
| -rw-r--r-- | launch.json | 928 | logplain |
| -rw-r--r-- | settings.json | 444 | logplain |
| -rw-r--r-- | tasks.json | 366 | logplain |