8000 [build] Fix `make dist`, remove wacoq Docker build by ejgallego · Pull Request #334 · jscoq/jscoq · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

[build] Fix make dist, remove wacoq Docker build#334

Merged
ejgallego merged 3 commits intov8.20+lspfrom
fix_dist
Sep 16, 2024
Merged

[build] Fix `make dist`, remove wacoq Docker build#334
ejgallego merged 3 commits intov8.20+lspfrom
fix_dist

Commits

Commits on Sep 16, 2024
0