Skip to content
Snippets Groups Projects
Commit 5dc4dabd authored by jurgenhaas's avatar jurgenhaas
Browse files

Merge branch 'develop' into 'main'

Merging develop into main

See merge request !9
parents 0fb186be 9b08d600
No related branches found
No related tags found
1 merge request!9Merging develop into main
Pipeline #911053 passed
......@@ -19,7 +19,7 @@ RUN echo "Adding system components" && \
libxss1 libxtst6 lsb-release wget xdg-utils && \
curl -fsSL https://deb.nodesource.com/setup_16.x | bash - && \
apt install -y nodejs && \
curl -L -o pandoc.deb https://github.com/jgm/pandoc/releases/download/3.1.2/pandoc-3.1.2-1-amd64.deb && \
curl -L -o pandoc.deb https://github.com/jgm/pandoc/releases/download/3.1.4/pandoc-3.1.4-1-amd64.deb && \
dpkg -i pandoc.deb && \
rm pandoc.deb
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment