There's something in the top level directory which doesn't run any more (issues with characters).
It seems to be newer than the one in the example files with the same name.
I don't think we should clutter the top directory, we can just say in the readme file what to paste into magma if you're a noob.
There's something in the top level directory which doesn't run any more (issues with characters).
It seems to be newer than the one in the example files with the same name.
I don't think we should clutter the top directory, we can just say in the readme file what to paste into magma if you're a noob.