diff options
Diffstat (limited to 'topics/notebooks/reproducibility.gmi')
-rw-r--r-- | topics/notebooks/reproducibility.gmi | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/topics/notebooks/reproducibility.gmi b/topics/notebooks/reproducibility.gmi index 8d565a1..7219539 100644 --- a/topics/notebooks/reproducibility.gmi +++ b/topics/notebooks/reproducibility.gmi @@ -14,3 +14,9 @@ https://github.com/fonsp/Pluto.jl#built-in-package-manager https://mybinder.readthedocs.io/en/latest/tutorials/reproducibility.html#pin-dependencies +## Tags + +* type: documentation +* priority: medium +* assigned: jgart +* keywords: documentation, notebooks, reproducibility, guix |