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
[code] Display and allow status bar item to toggle continuous / lazy …#721
Merged
ejgallego merged 1 commit intomainejgallego/coq-lsp:mainfrom status_continuousejgallego/coq-lsp:status_continuousCopy head branch name to clipboardMay 28, 2024
