julia
reset ACTIVE_PROJECT when building docs
#37315
Merged

reset ACTIVE_PROJECT when building docs #37315

fredrikekre merged 1 commit into master from KristofferC-patch-8
KristofferC
KristofferC reset ACTIVE_PROJECT when building docs
97aac1fa
KristofferC KristofferC added backport 1.5
fredrikekre
fredrikekre approved these changes on 2020-09-01
fredrikekre fredrikekre added docsystem
fredrikekre fredrikekre merged f780151a into master 5 years ago
fredrikekre fredrikekre deleted the KristofferC-patch-8 branch 5 years ago
KristofferC KristofferC removed backport 1.5

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone