Run jlpm on Binder

jtpio · jtpio · commit 945d442baee5 · 2022-01-17T11:43:44.000+01:00
diff --git a/postBuild b/postBuild
@@ -1,4 +1,5 @@
 #!/bin/bash
 
+jlpm
 jlpm install-py
 jlpm install-ext
