New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

LSP server: decode percent-encoded URIs before using them as filenames (fix #1169) #1172

Merged

fblanqui merged 3 commits into Deducteam:master from fblanqui:uri

Jan 2, 2025

Member

fblanqui commented Jan 2, 2025 •

edited

Loading

fix LSP server: missing decoding of percent-encoded URI's into filenames #1169
lsp/lp_doc.ml: decode percent-encoded URIs before using them as filenames
dune-project: add dependency to uri
cli/config.ml and common/library.ml: rename log_lib into log

fblanqui added 3 commits

January 2, 2025 14:21


          decode percent-encoded URIs before using them as filenames

b5158f6


          dune-project: add dependency to uri

047c2d4


          rename log_lib into log

247ac76

fblanqui merged commit 2e32554 into Deducteam:master

44 checks passed

fblanqui deleted the uri branch

January 2, 2025 14:51

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet