Skip to content

Commit 5282286

Browse files
authored
install freeglut3-dev (#973)
1 parent 42e1246 commit 5282286

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

.gitpod.dockerfile

+2
Original file line numberDiff line numberDiff line change
@@ -5,5 +5,7 @@ RUN sudo apt-get update \
55
doxygen \
66
graphviz \
77
ninja-build \
8+
freeglut3 \
9+
freeglut3-dev \
810
&& pip install cpplint \
911
&& sudo rm -rf /var/lib/apt/lists/*

0 commit comments

Comments
 (0)