You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Having such an action will automatically update the gh-pages branch after each update in master branch. This will make sure that the formatted trace server protocol page on https://theia-ide.github.io/trace-server-protocol/ is in sync with master branch.
The text was updated successfully, but these errors were encountered:
Having such an action will automatically update the gh-pages branch after each update in master branch. This will make sure that the formatted trace server protocol page on https://theia-ide.github.io/trace-server-protocol/ is in sync with master branch.
The text was updated successfully, but these errors were encountered: