mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-01-24 19:10:24 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 8

Remove debugging information

Browse source
This commit is contained in:
Petros Amoiridis 2023-04-21 17:17:04 +03:00
parent 7b4b1d6312
commit 3c54b14c5b
No known key found for this signature in database
1 changed files with 0 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
script/start-local-collaboration
View file

@ -38,10 +38,6 @@ half_width=$(($width / 2))
height=$(echo "$resolution" | jq -Rr 'match("(\\d+) x (\\d+)").captures[1].string')
y=0
echo "Width: $width"
echo "Half-width: $half_width"
echo "Height: $height"
position_1=0,${y}
position_2=${half_width},${y}