Sebastian Ullrich b2fda9b9ae chore: disable randomly failing test ... /cc @mhuisi @Vtech234		2020-12-25 18:48:58 +01:00
..
diags.lean	chore: deactivate server tests for now	2020-12-23 20:00:36 +01:00
diags.lean.expected.out
diags_client.log
edits.lean	chore: deactivate server tests for now	2020-12-23 20:00:36 +01:00
edits.lean.expected.out
edits_client.log
init_exit.lean	chore: disable randomly failing test	2020-12-25 18:48:58 +01:00
init_exit_worker.lean
init_vscode_1_47_2.log
open_empty.log
test_single.sh