Describe per-project REPLs in the manual (!293) · Merge requests · jao / geiser · GitLab

This is an archived project. Repository and other project resources are read-only.

Andrew Whatson requested to merge flatwhatson/geiser:project-repl-docs into master Jul 07, 2020

Adds some documentation for the new per-project feature.

Edited Jul 07, 2020 by Andrew Whatson