nubertj
commented
2 years ago ah damn, I moved it up in the list, but forgot to change se/ to misc/. Sorry for that, Thomas!
Closed nubertj closed 2 years ago
nubertj
commented
2 years ago ah damn, I moved it up in the list, but forgot to change se/ to misc/. Sorry for that, Thomas!
More clear instructions, first version of se_tutorial (in particular setup instructions), and adding missing dependencies.
Sorry for being so late!