diff options
Diffstat (limited to 'extension/server')
| -rw-r--r-- | extension/server/.gitignore | 3 | ||||
| -rwxr-xr-x | extension/server/exe/run-darwin | bin | 16421088 -> 0 bytes | |||
| -rw-r--r-- | extension/server/exe/run-linux | bin | 28788480 -> 0 bytes | |||
| -rw-r--r-- | extension/server/exe/run-win.exe | bin | 15593484 -> 0 bytes |
4 files changed, 2 insertions, 1 deletions
diff --git a/extension/server/.gitignore b/extension/server/.gitignore index 0b6e11dd..d501b5cd 100644 --- a/extension/server/.gitignore +++ b/extension/server/.gitignore @@ -1 +1,2 @@ -**.whl
\ No newline at end of file +**.whl +exe/**
\ No newline at end of file diff --git a/extension/server/exe/run-darwin b/extension/server/exe/run-darwin Binary files differdeleted file mode 100755 index 4d8323ef..00000000 --- a/extension/server/exe/run-darwin +++ /dev/null diff --git a/extension/server/exe/run-linux b/extension/server/exe/run-linux Binary files differdeleted file mode 100644 index 3efe5633..00000000 --- a/extension/server/exe/run-linux +++ /dev/null diff --git a/extension/server/exe/run-win.exe b/extension/server/exe/run-win.exe Binary files differdeleted file mode 100644 index 30466272..00000000 --- a/extension/server/exe/run-win.exe +++ /dev/null |