revert adding file from different branch

Red-Portal · Red-Portal · commit 5fa03f4898e7 · 2025-08-23T18:56:15.000-04:00
diff --git a/docs/make.jl b/docs/make.jl
@@ -32,7 +32,6 @@ makedocs(;
                 ],
             ],
         ],
-        "Subsampling" => "subsampling.md",
         "Variational Families" => "families.md",
         "Optimization" => "optimization.md",
     ],
