diff --git a/binder/apt.txt b/binder/apt.txt index ea5cebf71fef443cc6bf94d30eb083c22ab3faf9..9d19d52bba413508f8f4c8874100f87f68b5031b 100644 --- a/binder/apt.txt +++ b/binder/apt.txt @@ -1 +1,2 @@ default-jre-headless +graphviz