Jake Howard
|
48730800c4
|
Stop using `.local` as a settings file
This file is merely for includes to the `.dev` settings, rather than being a settings file in itself
Fixes #398
|
2023-02-20 17:03:32 +00:00 |
Sage Abdullah
|
dfa2c511b1
|
Format code with Prettier
|
2022-08-18 12:51:17 +01:00 |
Coen van der Kamp
|
9edeb75739
|
Fix and update Gitpod (#327)
* Preserve pip modules
* Pipe commands
* Add gitpod to trusted origins
* Use VSCode python extension
|
2022-03-28 13:27:38 +02:00 |
Coen van der Kamp
|
4469a5a182
|
Add Gitpod (#292)
|
2021-05-10 13:17:41 +01:00 |