Skip to content

init scripts: revert environment before settings new one, on session loading#5036

Draft
rjbou wants to merge 5 commits intoocaml:masterfrom rjbou:var-sh-revert
+688-23

Commits

Commits on Feb 2, 2022