Skip to content

Documentation: remove the ppa from the installation instructions on Ubuntu#5988

Merged
kit-ty-kate merged 1 commit intoocaml:masterfrom kit-ty-kate:doc-install-no-ppaJul 8, 2024
+2-8

Commits