| commit | ea85fd97990af379bde3d06581a4e713188f93b9 | [log] [tgz] |
|---|---|---|
| author | Andreas Veithen <andreas.veithen@gmail.com> | Sun Jul 10 10:16:24 2022 +0000 |
| committer | Andreas Veithen <andreas.veithen@gmail.com> | Sun Jul 10 10:16:24 2022 +0000 |
| tree | 5f37a15ba6d6180f7ec103cf83ee4354d880145b | |
| parent | 90988b8192eecbc556fef29b9786ae6bb49311f4 [diff] |
Add Gitpod configuration