8000 fix: use a less ambiguous encoding for relative imports by digama0 · Pull Request #811 · leanprover-community/lean · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

fix: use a less ambiguous encoding for relative imports#811

Open
digama0 wants to merge 1 commit intomasterfrom
rel_import
Open

fix: use a less ambiguous encoding for relative imports#811
digama0 wants to merge 1 commit intomasterfrom
rel_import

Commits

Commits on May 25, 2023
0