Nick Bolton 0eadaec2d8 Port EI fixes to use pipe2 instead of pipe and fcntl (#7470) ... * Kill build to prevent multiple processes running in dev * Port EI fixes to use `pipe2` instead of `pipe` and `fcntl`		2024-09-03 20:18:13 +01:00
..
extensions.json	Simplify compile options and use comprehensive edition logic (#7365)	2024-07-04 10:14:54 +01:00
launch.json	Port EI fixes to use pipe2 instead of pipe and fcntl (#7470)	2024-09-03 20:18:13 +01:00
settings.json	Catch exception propagating to Server dtor (#7416)	2024-07-29 23:11:59 +01:00
tasks.json	Improve UI design and reduce over-use of #ifdef (#7413)	2024-07-26 23:53:52 +01:00