Another rename

jorgensd · jorgensd · commit b439d6caf672 · 2025-10-05T16:09:09.000+02:00
diff --git a/Dockerfile b/Dockerfile
@@ -1,4 +1,4 @@
-FROM ghcr.io/jorgensd/dolfinx-tutorial:0.9.1
+FROM ghcr.io/jorgensd/dolfinx-tutorial:v0.9.1
 
 # create user with a home directory
 ARG NB_USER=jovyan

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-FROM ghcr.io/jorgensd/dolfinx-tutorial:0.9.1`
	`1`	`+FROM ghcr.io/jorgensd/dolfinx-tutorial:v0.9.1`
`2`	`2`
`3`	`3`	`# create user with a home directory`
`4`	`4`	`ARG NB_USER=jovyan`