| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Dockerfile | 1506 | logplain |
| -rwxr-xr-x | build.sh | 2224 | logplain |
| -rwxr-xr-x | create_build_openocd.sh | 221 | logplain |
| -rw-r--r-- | devcontainer.json | 1201 | logplain |
 |
index : infinitime.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Michele Bini |
| summaryrefslogtreecommitdiff |
path: root/.devcontainer