update miden to bring in new docs

kmurphypolygon · kmurphypolygon · commit 5adf13256c97 · 2024-09-23T08:32:30.000+02:00
diff --git a/docs/miden/index.md b/docs/miden/index.md
@@ -4,7 +4,7 @@ hide:
 ---
 
 <style>
-   .git-revision-date-localized-plugin, .md-source-file, .md-content__button.md-icon {
+   .md-source-file, .md-content__button.md-icon {
       display: none;
    }
 </style>

Original file line number	Diff line number	Diff line change
`@@ -4,7 +4,7 @@ hide:`
`4`	`4`	`---`
`5`	`5`
`6`	`6`	`<style>`
`7`		`- .git-revision-date-localized-plugin, .md-source-file, .md-content__button.md-icon {`
	`7`	`+ .md-source-file, .md-content__button.md-icon {`
`8`	`8`	`display: none;`
`9`	`9`	`}`
`10`	`10`	`</style>`