Skip to content
GitLab
Explore
Sign in
general
stups
ProB 2 Jupyter Kernel
Repository
prob2-jupyter-kernel
Makefile
Find file
Blame
History
Permalink
update Makefile for new way to specify PROB_HOME
· 54115e8d
Michael Leuschel
authored
Jul 13, 2023
Signed-off-by:
Michael Leuschel
<
leuschel@uni-duesseldorf.de
>
54115e8d