Merge branch '219-developer_manual-correct-issues-caused-by-gitlab-merging' into 'master'
[developer_manual] Correct problem introduced by gitlab
Closes #219
See merge request hej/HEJ!320
Description
Description
Details
Details
- Provenance
Jeppe R. Andersen <jeppe.andersen@durham.ac.uk> Authored on Dec 17 2024, 6:04 PM amaier Pushed on Wed, Apr 2, 2:25 PM - Parents
- rHEJ7b3c721daacd: [developer_manual] Correct problem introduced by gitlab
rHEJe7d49fd6f45b: Merge branch '218-specify-_importance-sampling_-rather-than-_assumption_' into… - Branches
- Unknown
- Tags
Merged Changes
Merged Changes