| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Dockerfile | 1618 | logstatsplain |
| -rw-r--r-- | act4e-check | 289 | logstatsplain |
| -rw-r--r-- | devcontainer.json | 2039 | logstatsplain |
| -rw-r--r-- | requirements.txt | 21 | logstatsplain |
 |
index : ethz/act4e-mcdp | |
| Applied Category Theory for Engineering 1 Maker Track @ ETHZ | Linux User |
| summaryrefslogtreecommitdiffstats |
path: root/.devcontainer