Update modules. Add pygments to dockerfile

AAU-Dat · Sep 28, 2024 · 5d413e6 · 5d413e6
1 parent e98aa1a
commit 5d413e6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
@@ -2,4 +2,5 @@ FROM movesrwth/stormpy:stable
 
 RUN apt update && apt upgrade -y
 RUN apt install texlive-full -y
+RUN pip install pygments
 
diff --git a/.idea/modules.xml b/.idea/modules.xml
Original file line number	Diff line number	Diff line change
Expand Up		@@ -2,4 +2,5 @@ FROM movesrwth/stormpy:stable

		RUN apt update && apt upgrade -y
		RUN apt install texlive-full -y
		RUN pip install pygments