gipplab/mathosphere

Expose revision id's

physikerwelt opened this issue · 1 comments

the json output should contain the revision ids

that's not possible with the current regexp approach... blocked by changing to the new loader